Sat, 11 Aug 2018 16:02:55 +0200 | wenzelm | merged; | changeset | files |
Tue, 07 Aug 2018 11:39:40 +0200 | wenzelm | Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109 | changeset | files |
Mon, 06 Aug 2018 15:43:36 +0200 | wenzelm | updated for release; | changeset | files |
Mon, 06 Aug 2018 15:19:39 +0200 | wenzelm | updated screenshot; | changeset | files |
Mon, 06 Aug 2018 14:29:46 +0200 | wenzelm | updated documentation; | changeset | files |
Thu, 02 Aug 2018 16:02:56 +0200 | wenzelm | suppress verit-2016post -- not ready for release; | changeset | files |