ANNOUNCE
2021-12-11 wenzelm tuned; Isabelle2021-1
2021-11-03 wenzelm more to ANNOUNCE;
2021-11-01 wenzelm updated for release;
2021-02-07 wenzelm updated for release;
2021-01-18 wenzelm tuned;
2021-01-08 wenzelm clarified default L&F;
2020-12-27 wenzelm updated for release;
less more (0) -100 -30 -10 -7 tip