| Mon, 04 Jul 2022 07:57:22 +0000 | haftmann | officical abstract characters for code generation | changeset | files |
| Fri, 01 Jul 2022 20:47:16 +0200 | wenzelm | provide components for scala3 (still inactive); | changeset | files |
| Fri, 01 Jul 2022 20:27:56 +0200 | wenzelm | updated download version; | changeset | files |
| Fri, 01 Jul 2022 19:58:38 +0200 | wenzelm | obsolete; | changeset | files |
| Fri, 01 Jul 2022 19:57:06 +0200 | wenzelm | more keywords for scala3; | changeset | files |
| Fri, 01 Jul 2022 16:03:10 +0200 | wenzelm | discontinued Isabelle tools implemented as .scala scripts; | changeset | files |