| Tue, 11 Nov 2014 20:11:38 +0100 | wenzelm | more careful ML source positions, for improved PIDE markup; | changeset | files |
| Tue, 11 Nov 2014 18:16:25 +0100 | wenzelm | more position information, e.g. relevant for errors in generated ML source; | changeset | files |
| Tue, 11 Nov 2014 15:55:31 +0100 | wenzelm | more symbols; | changeset | files |
| Tue, 11 Nov 2014 13:50:56 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 11 Nov 2014 13:44:09 +0100 | wenzelm | more markup; | changeset | files |
| Tue, 11 Nov 2014 13:40:13 +0100 | wenzelm | simplifie sessions; | changeset | files |
| Tue, 11 Nov 2014 11:47:53 +0100 | wenzelm | more Isar proof methods; | changeset | files |