| Thu, 02 Apr 2020 11:45:03 +0200 | wenzelm | Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a | changeset | files |
| Sat, 28 Mar 2020 22:18:28 +0100 | wenzelm | more robust, notably wrt. interrupts; | changeset | files |
| Thu, 26 Mar 2020 11:48:52 +0100 | wenzelm | merged | changeset | files |
| Wed, 25 Mar 2020 17:38:22 +0100 | wenzelm | more NEWS; | changeset | files |
| Wed, 25 Mar 2020 17:33:46 +0100 | wenzelm | clarified messages: indicate termination explicitly; | changeset | files |
| Tue, 24 Mar 2020 13:43:29 +0100 | wenzelm | avoid vacous type variable, due to "potentially redundant" shyps in Thm.unconstrainT; | changeset | files |
| Mon, 23 Mar 2020 13:26:35 +0100 | wenzelm | Added tag Isabelle2020-RC3 for changeset 7fe1a344404a | changeset | files |