Skip to content
Started 8 yr 2 mo ago
Took 3 hr 37 min on built-in
Success

#146 (Apr 13, 2016, 6:17:11 PM)

Changes
  1. merged (detail / hgweb)
  2. eliminated "xname" and variants; (detail / hgweb)
  3. clarified syntax; (detail / hgweb)
  4. more completions, independently on accidental external form (e.g. "Map.empty" with its redundant prefix); (detail / hgweb)
  5. tuned; (detail / hgweb)
  6. clarified syntax; (detail / hgweb)
  7. avoid quotes for qualified names; (detail / hgweb)

Started by an SCM change

Revision: f78cf782bd33e90ebfd369986e5abf427cf4229d
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #146( 3 hr 36 min )Console Output
isabelle-repo-makeallbuild #146( 1 hr 6 min )Console Output