diff options
Diffstat (limited to 'tools/coq-sl.sty')
-rwxr-xr-x | tools/coq-sl.sty | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/tools/coq-sl.sty b/tools/coq-sl.sty new file mode 100755 index 000000000..9f6e5480c --- /dev/null +++ b/tools/coq-sl.sty @@ -0,0 +1,37 @@ +% COQ style option, for use with the coq-latex filter. + +\typeout{Document Style option `coq-sl' <7 Apr 92>.} + +\ifcase\@ptsize + \font\sltt = cmsltt10 +\or \font\sltt = cmsltt10 \@halfmag +\or \font\sltt = cmsltt10 \@magscale1 +\fi + +{\catcode`\^^M=\active % + \gdef\@coqinputline#1^^M{\tt Coq < #1\par} % + \gdef\@coqoutputline#1^^M{\sltt#1\par} } % +\def\@coqblankline{\medskip} +\chardef\@coqbackslash="5C + +\def\coq{ + \bgroup + \flushleft + \parindent 0pt + \parskip 0pt + \let\do\@makeother\dospecials + \catcode`\^^M=\active + \catcode`\\=0 + \catcode`\ \active + \frenchspacing + \@vobeyspaces + \let\?\@coqinputline + \let\:\@coqoutputline + \let\;\@coqblankline + \let\\\@coqbackslash +} + +\def\endcoq{ + \endflushleft + \egroup\noindent +} |