| Sun, 01 Mar 2020 22:14:11 +0100 | wenzelm | clarified modifier: avoid confusion of CS+a as C+a; | changeset | files |
| Sun, 01 Mar 2020 22:05:47 +0100 | wenzelm | tuned -- avoid deprecated operations; | changeset | files |
| Sun, 01 Mar 2020 21:52:21 +0100 | wenzelm | more Isabelle/jEdit actions; | changeset | files |
| Sun, 01 Mar 2020 15:20:47 +0100 | wenzelm | updated for release; | changeset | files |