In Isabelle/2337a6bc5e41, I have updated the screenshots of the
Isabelle/jEdit manual, using a macMini with current Mojave and a regular
UHD display, but only a small portion of the screen; there is one
screenshot with Linux Ubuntu Budgie that uses the full pixel-range of it.
The visual
Dear experts on quickcheck and find_unused_assms,
we've seen resource problems with HOL-Quickcheck_Benchmark since the
introduction of polyml-5.8 in Isabelle/63721ee8c86c.
After several rounds of looking through the examples and the
implementation, and after some private discussions with David
* Session HOL-Homology: New, a port of HOL Light's homology library,
with new proofs of "invariance of domain" and related results.
* Session HOL-Analysis: Better organization and much more material
at the level of abstract topological spaces.
* Session HOL-Algebra: Much more material on group