Changeset 9583b3c in report for tools


Ignore:
Timestamp:
Apr 30, 2010 3:37:44 PM (10 years ago)
Author:
Simon Marlow <marlowsd@…>
Branches:
h2010, master
Children:
66f8e45
Parents:
28505f0
Message:

make code blocks \small

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/verbatim.lex

    r28505f0 r9583b3c  
    3030<INVERB>\{              { printf ("{\\char'173}"); }
    3131<INVERB>\}              { printf ("{\\char'175}"); }
    32 <NORM>{verb}            { printf ("\\begin{verbatim}\n"); PUSH NORM;  BEGIN VERB; }
    33 <VERB>{verb}            { printf ("\\end{verbatim}\n"); POP; }
     32<NORM>{verb}            { printf ("{\\small\\begin{verbatim}\n"); PUSH NORM;  BEGIN VERB; }
     33<VERB>{verb}            { printf ("\\end{verbatim}}\n"); POP; }
    3434<NORM>\"\"              { printf ("\""); }
    3535<NORM>\"{sp}            { printf ("\\mbox{$\\it ");
Note: See TracChangeset for help on using the changeset viewer.