Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 2 hr 43 min on built-in
Failed

#44 (Feb 27, 2016, 5:05:09 PM)

Changes
  1. no tracing SPAM, and thus more visible warnings; (detail / hgweb)
  2. moved getopts to Scala; (detail / hgweb)
  3. tuned messages; (detail / hgweb)
  4. more operations (like Markup.parse_bool in ML); (detail / hgweb)
  5. tuned messages; (detail / hgweb)
  6. support for command-line options as in GNU bash; (detail / hgweb)

Started by an SCM change

Revision: beb3e6c1fa5a5c52a7993c21074efd36a2a39b22
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #44( 2 hr 43 min )Console Output
isabelle-repo-makeallbuild #44( 58 min )Console Output