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

#111 (Mar 26, 2016, 4:41:08 PM)

Changes
  1. explicit print_depth for the sake of Spec_Check.determine_type; (detail / hgweb)
  2. obsolete -- done in Isabelle_Process.init_options; (detail / hgweb)
  3. clarified use of options; (detail / hgweb)
  4. tuned signature; (detail / hgweb)
  5. clarified use of options; (detail / hgweb)
  6. avoid hardwired values; (detail / hgweb)
  7. eliminated duplicate; (detail / hgweb)
  8. more operations; (detail / hgweb)

Started by an SCM change

Revision: d80b9f4990e4867dfe36310b5c70e5b615e91c55
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #111( 3 hr 34 min )Console Output
isabelle-repo-makeallbuild #111( 1 hr 11 min )Console Output