| commit | 149787e7c5c4d9cf5abd1a6bdb3074eae34de1b5 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Jul 17 00:15:46 2005 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Jul 17 00:15:46 2005 +0000 |
| tree | 6d6ad7e1b8fa5bad7d0de64c60f5d5fb237e3fe3 | |
| parent | a4a8b820aa32638e9f65efcb73e7559dad76028f [diff] |
Added an option to the scanner to generated marked-up HTML from the input file. This should make it a lot easier (I hope) to get the regular expressions right.