diff options
| author | simonm <unknown> | 1997-09-24 16:06:34 +0000 |
|---|---|---|
| committer | simonm <unknown> | 1997-09-24 16:06:34 +0000 |
| commit | 2bc355fa50e75e512ddd887bd5567aba184f3f0a (patch) | |
| tree | 91f385d68d505e1138dfc8a85aeea81d9506c154 | |
| parent | c610efe811e9f57d7fd09834e561c9a5e6e64d57 (diff) | |
| download | haskell-2bc355fa50e75e512ddd887bd5567aba184f3f0a.tar.gz | |
[project @ 1997-09-24 16:06:34 by simonm]
couple of minor patches to verbatim from Simon P.J.'s copy.
| -rw-r--r-- | glafp-utils/verbatim/verbatim.lex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/glafp-utils/verbatim/verbatim.lex b/glafp-utils/verbatim/verbatim.lex index bafcfab577..bac87cc45f 100644 --- a/glafp-utils/verbatim/verbatim.lex +++ b/glafp-utils/verbatim/verbatim.lex @@ -42,9 +42,9 @@ miranda ([0-9]+(\-([0-9]+)?)?)?> <VERB>\{ { printf ("{\\char'173}"); } <VERB>\} { printf ("{\\char'175}"); } -<NORM>^@\n { printf( "\\begin{verbatim}\n" ); +<NORM>^@{sp}\n { printf( "\\begin{verbatim}\n" ); PUSH NORM; BEGIN VERBATIMSIM; } -<VERBATIMSIM>^@\n { printf( "\\end{verbatim}\n" ); POP; } +<VERBATIMSIM>^@{sp}\n { printf( "\\end{verbatim}\n" ); POP; } <NORM>\\"begin{verbatim}" { printf( "\\begin{verbatim}" ); PUSH NORM; BEGIN VERBATIM; } |