Wed, 20 Feb 2013 00:00:42 +0100 | wenzelm | support nested Thy_Syntax.element; | changeset | files |
Tue, 19 Feb 2013 21:44:37 +0100 | wenzelm | back to non-schematic 'sublocale' and 'interpretation' (despite df8fc0567a3d) for more potential parallelism; | changeset | files |
Tue, 19 Feb 2013 20:19:21 +0100 | wenzelm | help JVM to cope with large symbolic structures; | changeset | files |