| Sat, 02 Oct 2021 22:11:34 +0200 | wenzelm | provide Isabelle/jEdit plugins as services, and thus allow user components do the same; | changeset | files |
| Sat, 02 Oct 2021 20:44:33 +0200 | wenzelm | merged | changeset | files |
| Sat, 02 Oct 2021 20:44:14 +0200 | wenzelm | updated for release; | changeset | files |
| Sat, 02 Oct 2021 20:39:08 +0200 | wenzelm | misc tuning for release; | changeset | files |