| Mon, 01 Feb 2021 14:01:01 +0100 | wenzelm | updated for release; | changeset | files |
| Mon, 01 Feb 2021 13:50:41 +0100 | wenzelm | Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb | changeset | files |
| Mon, 01 Feb 2021 13:29:22 +0100 | wenzelm | provide naproche-20210201; | changeset | files |
| Sun, 31 Jan 2021 20:44:42 +0100 | wenzelm | clarified messages; | changeset | files |
| Sun, 31 Jan 2021 20:39:16 +0100 | wenzelm | more parallel; | changeset | files |
| Sun, 31 Jan 2021 19:46:40 +0100 | wenzelm | more parallel; | changeset | files |
| Sun, 31 Jan 2021 12:10:20 +0100 | Andreas Lochbihler | contributors | changeset | files |
| Sun, 31 Jan 2021 08:49:47 +0100 | Andreas Lochbihler | hide the internal abbreviations MR and MB | changeset | files |
| Fri, 29 Jan 2021 13:06:29 +0100 | mraszyk | optimize RBT_Impl | changeset | files |
| Sat, 30 Jan 2021 21:43:13 +0100 | wenzelm | merged | changeset | files |
| Sat, 30 Jan 2021 20:47:00 +0100 | wenzelm | more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup); | changeset | files |
| Sat, 30 Jan 2021 19:36:42 +0100 | wenzelm | tuned signature: more types; | changeset | files |
| Sat, 30 Jan 2021 19:33:14 +0100 | wenzelm | clarified signature: proper order; | changeset | files |
| Sat, 30 Jan 2021 19:29:22 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Sat, 30 Jan 2021 18:58:56 +0100 | wenzelm | tuned; | changeset | files |