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

#427 (Sep 11, 2016, 5:48:05 PM)

Changes
  1. strengthened tactics (detail / hgweb)
  2. derive relator properties forward (detail / hgweb)
  3. derive maps forward (detail / hgweb)
  4. tuning (detail / hgweb)
  5. tuning (detail / hgweb)
  6. provide a mechanism for ensuring dead type variables occur in typedef if desired (detail / hgweb)
  7. preserve order of dead variables (detail / hgweb)
  8. tuning (detail / hgweb)

Started by an SCM change

Revision: f738df816abfa397824ee0f763fde565a714a86d
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #427( 1 hr 30 min )Console Output
isabelle-repo-makeallbuild #427( 1 hr 10 min )Console Output