| Thu, 02 Aug 2018 14:21:48 +0200 | wenzelm | always export Pure theory; | changeset | files |
| Wed, 01 Aug 2018 22:59:42 +0100 | paulson | de-applying | changeset | files |
| Tue, 31 Jul 2018 23:09:21 +0100 | paulson | de-applying | changeset | files |
| Sun, 29 Jul 2018 23:04:22 +0100 | paulson | de-applying and removal of obsolete aliases | changeset | files |
| Sun, 29 Jul 2018 18:24:47 +0200 | wenzelm | merged | changeset | files |
| Sun, 29 Jul 2018 13:18:10 +0200 | wenzelm | Added tag Isabelle2018-RC3 for changeset 71aa5a9128c2 | changeset | files |
| Sat, 28 Jul 2018 21:21:26 +0200 | wenzelm | proper return code (true) if file is absent; | changeset | files |