Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 0 mo ago
Took 4 hr 6 min on built-in
Success

#226 (Jun 6, 2016, 2:20:09 PM)

Changes
  1. clarified focus_defs vs. focus_refs, e.g. relevant for @{here} where this overlaps; (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. less redundant exploration of full name space; (detail / hgweb)
  4. tuned; (detail / hgweb)
  5. avoid multiple reports on shared type; (detail / hgweb)

Started by an SCM change

Revision: 2eb2ff479cfe788601fe20b550b49adad9692e43
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #226( 4 hr 5 min )Console Output
isabelle-repo-makeallbuild #226( 1 hr 15 min )Console Output