| Fri, 01 Jul 2011 15:53:37 +0200 | blanchet | document "simple_higher" type encoding | changeset | files |
| Fri, 01 Jul 2011 15:53:37 +0200 | blanchet | cleaner handling of higher-order simple types, so that it's also possible to use first-order simple types with LEO-II and company | changeset | files |
| Fri, 01 Jul 2011 15:53:37 +0200 | blanchet | mangle "ti" tags | changeset | files |
| Fri, 01 Jul 2011 15:53:37 +0200 | blanchet | tuning | changeset | files |
| Fri, 01 Jul 2011 17:36:25 +0200 | wenzelm | clarified Thy_Syntax.element; | changeset | files |
| Fri, 01 Jul 2011 16:05:38 +0200 | wenzelm | tuned layout; | changeset | files |
| Fri, 01 Jul 2011 15:16:03 +0200 | wenzelm | proper @{binding} antiquotations (relevant for formal references); | changeset | files |
| Fri, 01 Jul 2011 15:14:44 +0200 | wenzelm | tuned; | changeset | files |