| Fri, 04 Dec 2009 18:19:31 +0100 | haftmann | more speaking function names for Code_Printer; added doublesemicolon | changeset | files |
| Fri, 04 Dec 2009 18:19:30 +0100 | haftmann | tuned code setup | changeset | files |
| 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 |
| Fri, 04 Dec 2009 20:03:37 +0100 | wenzelm | output "'" as "'" which is a bit more portable ("'" is defined in XML/XHTML, but not in old-style HTML4); | changeset | files |