#2494 (Mar 16, 2024, 1:33:10 AM)

Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

1. merged (detail)
2. added lemmas antisymp_on_image, asymp_on_image, irreflp_on_image, reflp_on_image, symp_on_image, totalp_on_image, and transp_on_image (detail)
3. clarified names; (detail)
4. sketch & explore: TODO comments are addressed in parent commits (detail)
5. sketch & explore: reduce unnecessary type constraints (detail)
6. sketch & explore: replace functionality of `sketch` by more useful `nxsketch` (and remove `nxsketch`) (detail)
7. sketch & explore: use Active.sendback_markup_command to preserve indentation of generated proof text (detail)
8. change benchmark session to FOLP-ex (faster and less mean squared error than ZF-Constructible); (detail)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 3 hr 18 min build duration;
• 3 hr 18 min total from scheduled to completion.