| Tue, 09 Feb 2021 14:13:03 +0100 | wenzelm | more robust ISABELLE_COMPONENT_REPOSITORY: use current value of managing process to avoid its fluctuation in ancient history; | changeset | files |
| Tue, 09 Feb 2021 14:03:05 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 08 Feb 2021 23:14:56 +0100 | wenzelm | merged; | changeset | files |
| Mon, 08 Feb 2021 20:56:12 +0100 | wenzelm | Added tag Isabelle2021-RC5 for changeset a88dbf2a020f | changeset | files |
| Mon, 08 Feb 2021 20:47:56 +0100 | wenzelm | provide naproche-7d0947a91dd5; | changeset | files |
| Sun, 07 Feb 2021 22:19:39 +0100 | wenzelm | more complete solutions (amending 4d36070bdbf4); | changeset | files |
| Sun, 07 Feb 2021 21:27:48 +0100 | wenzelm | terminate faster (following dd9fc8a3036c); | changeset | files |