#1209 (Jun 9, 2020, 12:50:08 AM)

1. tuned document; (detail / hgweb)
2. proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy; (detail / hgweb)
3. NEWS; (detail / hgweb)
4. clarified sessions; (detail / hgweb)
5. clarified sessions: "Notable Examples in Isabelle/HOL"; (detail / hgweb)
6. clarified sessions: "Notable Examples in Isabelle/Pure"; (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.