| 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 |
| Fri, 14 Feb 2014 14:39:44 +0100 | wenzelm | more integrity checks of theory names vs. full node names; | changeset | files |