| Mon, 09 Dec 2013 12:27:18 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Dec 2013 12:22:23 +0100 | wenzelm | more antiquotations; | changeset | files |
| Mon, 09 Dec 2013 12:16:52 +0100 | wenzelm | added document antiquotation @{url}, which produces formal markup for LaTeX and PIDE; | changeset | files |
| Mon, 09 Dec 2013 09:44:57 +0100 | blanchet | tuning -- moved ML files to subdirectory | changeset | files |
| Mon, 09 Dec 2013 06:33:46 +0100 | blanchet | adapted code for Z3 proof reconstruction | changeset | files |
| Mon, 09 Dec 2013 05:06:48 +0100 | blanchet | useful debugging info | changeset | files |
| Mon, 09 Dec 2013 04:44:59 +0100 | blanchet | disable generalization in MaSh until it is shown to help | changeset | files |
| Mon, 09 Dec 2013 04:03:30 +0100 | blanchet | bugfixes to Python MaSh related to alternative features | changeset | files |