Sat, 10 Nov 2018 14:08:02 +0100 | wenzelm | support for user-defined Isabelle/Scala command-line tools; | changeset | files |
Sat, 10 Nov 2018 07:57:20 +0000 | haftmann | replaced some ancient ASCII syntax | changeset | files |
Sat, 10 Nov 2018 07:57:19 +0000 | haftmann | clarified status of legacy input abbreviations | changeset | files |
Sat, 10 Nov 2018 07:57:18 +0000 | haftmann | clarified status of ancient ASCII syntax for big union and inter | changeset | files |
Thu, 08 Nov 2018 22:35:17 +0100 | wenzelm | NEWS; | changeset | files |
Thu, 08 Nov 2018 22:29:09 +0100 | wenzelm | isabelle update_cartouches -t; | changeset | files |