| Sat, 05 Dec 2009 18:42:45 +0100 | wenzelm | version of IsabelleMono that retains plain ASCII and ISO-LATIN-1 from Bitstream Vera; | changeset | files |
| Sat, 05 Dec 2009 17:30:47 +0100 | wenzelm | output linefeed as </br> -- workaround problem with <pre> in Lobo Browser 0.98.4; | changeset | files |
| Sat, 05 Dec 2009 16:39:49 +0100 | wenzelm | added markup for hidden text; | changeset | files |
| Fri, 04 Dec 2009 22:51:59 +0100 | wenzelm | Basic HTML output. | changeset | files |