| Fri, 14 Feb 2014 20:58:48 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 14 Feb 2014 16:27:29 +0100 | wenzelm | removed dead code; | changeset | files |
| Fri, 14 Feb 2014 16:25:30 +0100 | wenzelm | tuned signature (in accordance to ML version); | changeset | files |
| Fri, 14 Feb 2014 16:11:14 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 14 Feb 2014 15:42:27 +0100 | wenzelm | tuned signature -- separate Lexicon from Parsers (in accordance to ML version); | changeset | files |
| Fri, 14 Feb 2014 14:52:50 +0100 | wenzelm | prefer latest ProofGeneral-4.2-1 by default; | changeset | files |
| Fri, 14 Feb 2014 14:51:38 +0100 | wenzelm | updated thy_info.dependencies; | changeset | files |
| Fri, 14 Feb 2014 14:44:43 +0100 | wenzelm | tuned message; | changeset | files |