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 |
Fri, 04 Dec 2009 17:19:01 +0100 | blanchet | export symbols from Minipick (so I can use them in other programs) | changeset | files |