Wed, 05 Mar 2014 19:52:28 +0100 | wenzelm | tuned; | changeset | files |
Wed, 05 Mar 2014 18:26:35 +0100 | wenzelm | more markup for inner syntax class/type names (notably for completion); | changeset | files |
Wed, 05 Mar 2014 17:36:40 +0100 | wenzelm | tuned proofs; | changeset | files |