diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-01-28 15:56:33 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-01-28 15:56:33 +0000 |
| commit | cd21bd87f494fc75f6047bccdd1a30ee50864513 (patch) | |
| tree | 265232ceaa229e10acbfe3b58bd94164771a0dd4 /manual/styles | |
| parent | 59a97d4743626de112bb71e39e8c8d949e304536 (diff) | |
| download | ocaml-cd21bd87f494fc75f6047bccdd1a30ee50864513.tar.gz | |
MAJ pour 2.01
git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@9809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'manual/styles')
| -rw-r--r-- | manual/styles/caml-sl.sty | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/manual/styles/caml-sl.sty b/manual/styles/caml-sl.sty index cfd8ef98f0..f73570e39c 100644 --- a/manual/styles/caml-sl.sty +++ b/manual/styles/caml-sl.sty @@ -2,18 +2,9 @@ \typeout{Document Style option `caml-sl' <7 Apr 92>.} -%%\ifcase\@ptsize -%% \font\sltt = cmsltt10 -%%\or \font\sltt = cmsltt10 scaled \magstephalf -%%\or \font\sltt = cmsltt10 scaled \magstep1 -%%\fi - -% Use 10pt sltt with 11pt tt -\font\sltt = cmsltt10 - {\catcode`\^^M=\active % \gdef\@camlinputline#1^^M{\tt\# #1\par} % - \gdef\@camloutputline#1^^M{\sltt#1\par} } % + \gdef\@camloutputline#1^^M{\small\ttfamily\slshape#1\par} } % \def\@camlblankline{\medskip} \chardef\@camlbackslash="5C |