1995-11-03 23:41:53 -05:00
|
|
|
%&latex -*- latex -*-
|
|
|
|
|
1997-04-08 17:45:50 -04:00
|
|
|
\documentclass{report}
|
1995-11-03 23:41:53 -05:00
|
|
|
\usepackage{code,boxedminipage,draftfooters,palatino,ct,makeidx,
|
|
|
|
headings,mantitle,array,matter,mysize10}
|
|
|
|
|
|
|
|
\parskip = 3pt plus 3pt
|
|
|
|
\sloppy
|
|
|
|
|
|
|
|
\input{decls}
|
|
|
|
%%% End preamble
|
|
|
|
|
|
|
|
\begin{document}
|
|
|
|
|
1997-04-08 17:45:50 -04:00
|
|
|
\begin{tabular}{ll}
|
|
|
|
{\begin{codebox}[b]
|
|
|
|
define structure web server
|
|
|
|
open scsh
|
|
|
|
scheme
|
|
|
|
net-hax
|
|
|
|
|
|
|
|
file web\end{codebox}}
|
|
|
|
&
|
|
|
|
{\begin{codebox}[b]
|
|
|
|
(define-structure web-server
|
|
|
|
(open scheme
|
|
|
|
scsh
|
|
|
|
net-hax
|
|
|
|
\vdots)
|
|
|
|
(file web))\end{codebox}}\\
|
|
|
|
\end{tabular}
|
1995-11-03 23:41:53 -05:00
|
|
|
|
|
|
|
\end{document}
|