| Sun, 02 Jul 2017 20:13:38 +0200 | haftmann | proper concept of code declaration wrt. atomicity and Isar declarations | changeset | files |
| Mon, 03 Jul 2017 14:25:07 +0200 | wenzelm | merged | changeset | files |
| Mon, 03 Jul 2017 14:24:55 +0200 | wenzelm | complete on long name components as well; | changeset | files |
| Mon, 03 Jul 2017 13:51:55 +0200 | wenzelm | added command 'alias' and 'type_alias'; | changeset | files |
| Mon, 03 Jul 2017 09:57:26 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 03 Jul 2017 09:20:24 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 03 Jul 2017 09:12:13 +0200 | wenzelm | unused; | changeset | files |