| Mon, 04 Oct 2021 13:53:41 +0200 | wenzelm | clarified comments; | changeset | files |
| Mon, 04 Oct 2021 13:39:38 +0200 | wenzelm | support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing); | changeset | files |
| Mon, 04 Oct 2021 13:32:34 +0200 | wenzelm | clarified dependencies; | changeset | files |
| Sun, 03 Oct 2021 21:29:34 +0200 | wenzelm | updated for release; | changeset | files |
| Sun, 03 Oct 2021 18:23:12 +0200 | isatest | Added tag Isabelle2021-1-RC0 for changeset fedc0b659881 | changeset | files |
| 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 |