diff options
Diffstat (limited to 'docs/rts/closure.tex')
-rw-r--r-- | docs/rts/closure.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/rts/closure.tex b/docs/rts/closure.tex new file mode 100644 index 0000000000..572a8516cf --- /dev/null +++ b/docs/rts/closure.tex @@ -0,0 +1,7 @@ +\makebox[3.597in][l]{ + \vbox to 2.375in{ + \vfill + \special{psfile=closure.ps} + } + \vspace{-\baselineskip} +} |