Keep the current colour when outputting <tt> text
authorSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 23:10:51 +0000 (23:10 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 23:10:51 +0000 (23:10 +0000)
commit8af3a8909b66036e2001aa4c25910b682f1fb80b
tree01e2d8c4cabc9c7d85824527d8ffa5e5605c0516
parent404de077aff2c20328e54b0ad20606e644c24f00
Keep the current colour when outputting <tt> text
This program is in dire need of a rewrite.
tools/tex.hs