#1309 (Aug 17, 2019, 8:02:04 PM)

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

1. clarified signature; (detail / hgweb)
2. discontinued peek_status: unused and not clearly defined; (detail / hgweb)
3. more documentation on oracles; (detail / hgweb)
4. proper theory context for global props; (detail / hgweb)
5. more thorough check, using full dependency graph of finished proofs; (detail / hgweb)
6. added ML antiquotation @{oracle_name}; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 1 hr 42 min build duration;
• 1 hr 44 min total from scheduled to completion.

• Gromov_Hyperbolicity
• Ergodic_Theory