Tue, 03 Mar 2020 15:51:57 +0100 | wenzelm | avoid conflict with isabelle.next-error, resulting in odd startup dialog; | changeset | files |
Tue, 03 Mar 2020 15:51:02 +0100 | wenzelm | updated for release; | changeset | files |
Mon, 02 Mar 2020 15:45:37 +0100 | wenzelm | Added tag Isabelle2020-RC1 for changeset a8849ac415cc | changeset | files |