| 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 |
| Fri, 04 Dec 2009 17:18:07 +0100 | blanchet | make proof work again | changeset | files |
| Fri, 04 Dec 2009 17:17:52 +0100 | blanchet | fix soundness bug in Nitpick's "destroy_constrs" optimization | changeset | files |