Skip to content
Started 7 yr 11 mo ago
Took 1 hr 18 min on built-in
Success

#322 (Jul 25, 2016, 2:12:06 PM)

Changes
  1. merged (detail / hgweb)
  2. misc tuning and modernization; (detail / hgweb)
  3. misc tuning and modernization; (detail / hgweb)
  4. clarified def vs. ref focus, e.g. for calculation vs. command refs; (detail / hgweb)
  5. entity markup for calculation; (detail / hgweb)
  6. tuned; (detail / hgweb)
  7. more markup for unstructured calculation; (detail / hgweb)
  8. tuned proofs -- avoid unstructured calculation; (detail / hgweb)
  9. tuned proofs -- avoid improper use of "this"; (detail / hgweb)

Started by an SCM change

Revision: 00521f1815101bece776dc87e25443936c3181b9
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #322( 1 hr 9 min )Console Output
isabelle-repo-afpbuild #322( 1 hr 18 min )Console Output