| 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 |
| Fri, 04 Dec 2009 17:19:59 +0100 | blanchet | fixed paths in Nitpick's ML file headers | changeset | files |
| Fri, 04 Dec 2009 17:19:33 +0100 | blanchet | added soundness fix to Nitpick's history | changeset | files |