| 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 |