From 9a1a12170b1f62ad65576ac30405ef86e364b97a Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 11 Dec 1999 18:42:39 +0000
Subject: outils (manquent encore les deux filtres)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@235 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq-sl.sty | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)
 create mode 100755 tools/coq-sl.sty

(limited to 'tools/coq-sl.sty')

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
+}
-- 
cgit v1.2.3

