Mon, Oct 25
Sun, Oct 24
Thu, Oct 21
Wed, Oct 20
Tue, Oct 19
Isabelle2021-1 (December 2021) will use Java 17, but the font situation appears to be unchanged.
Not ready for the Isabelle2021-1 release, approx. 15-Dec-2021. Note that veriT is more and more taking over.
This requires to go through the Java implementation of Kodkod and SAT4j, and ensure that interrupts (or timeouts) are treated properly.