| Thu, 02 Aug 2018 16:02:56 +0200 | wenzelm | suppress verit-2016post -- not ready for release; | changeset | files |
| Wed, 01 Aug 2018 20:58:41 +0200 | wenzelm | isabelle build options -c -x -B refer to imports_graph; | changeset | files |
| Wed, 01 Aug 2018 19:48:58 +0200 | wenzelm | more uniform checks; | changeset | files |