diff options
Diffstat (limited to 'docs/storage-mgt/code.sty')
| -rw-r--r-- | docs/storage-mgt/code.sty | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/docs/storage-mgt/code.sty b/docs/storage-mgt/code.sty index f5ec2f59ee..175e212653 100644 --- a/docs/storage-mgt/code.sty +++ b/docs/storage-mgt/code.sty @@ -4,22 +4,22 @@ % you write "\makeatactive". From then on, inline code is written as @\x
% -> x_1 & y@. The only difference with what you are used to, is that
% instead of
-%
+%
% @
% foo :: Int -> Int
% foo = \n -> n+1
% @
-%
+%
% you have to write
-%
+%
% \begin{code}
% foo :: Int -> Int
% foo = \n -> n+1
% \end{code}
-%
-% and that you cannot use @ in \section{} and \caption{}. For the paper that occured twice, in which case I had to replace @...@ b y \texttt{...}.
-%
-%
+%
+% and that you cannot use @ in \section{} and \caption{}. For the paper that occurred twice, in which case I had to replace @...@ b y \texttt{...}.
+%
+%
% code.sty --- nice verbatim mode for code
\def\icode{%
|