Skip to content
Started 7 yr 0 mo ago
Took 2 hr 2 min on built-in
Success

#969 (Jun 20, 2017, 7:21:24 PM)

Changes
  1. merged (detail / hgweb)
  2. tuned signature; (detail / hgweb)
  3. proper treatment of empty result; (detail / hgweb)
  4. clarified modules; (detail / hgweb)
  5. tuned signature; (detail / hgweb)
  6. provide spell-checker menu via completion commands; (detail / hgweb)
  7. added commands for spell-checker dictionary; (detail / hgweb)
  8. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 0 sec waiting;
  • 2 hr 2 min build duration;
  • 2 hr 7 min total from scheduled to completion.
Revision: 8f1cbb77a70a1b14d4b1f306abbaf8c0a89b0a16
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #969( 1 hr 1 min )Console Output
isabelle-repo-afpbuild #969( 35 min )Console Output