projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2005-12-13 12:09:42 by simonmar]
[ghc-hetmet.git]
/
glafp-utils
/
verbatim
/
verbatim.lex
diff --git
a/glafp-utils/verbatim/verbatim.lex
b/glafp-utils/verbatim/verbatim.lex
index
bafcfab
..
bac87cc
100644
(file)
--- 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}"); }
<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; }
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; }
<NORM>\\"begin{verbatim}" { printf( "\\begin{verbatim}" );
PUSH NORM; BEGIN VERBATIM; }