Skip to content
Started 7 yr 11 mo ago
Took 1 hr 16 min on built-in
Failed

#297 (Jul 11, 2016, 11:00:00 PM)

Changes
  1. merged (detail / hgweb)
  2. NEWS; (detail / hgweb)
  3. clarified indentation; (detail / hgweb)
  4. indentation of brackets; (detail / hgweb)
  5. clarified keywords; (detail / hgweb)
  6. clarified keywords; (detail / hgweb)
  7. proper filter; (detail / hgweb)
  8. tunes signature; (detail / hgweb)
  9. observe comments in indentation, but not in fold structure; (detail / hgweb)
  10. support more modes; (detail / hgweb)
  11. clarified keywords; (detail / hgweb)
  12. clarified indentation; (detail / hgweb)
  13. explicit kind "before_command";
    tuned signature; (detail / hgweb)
  14. clarified indentation involving 'begin'; (detail / hgweb)
  15. more robust; (detail / hgweb)

Started by an SCM change

Revision: 932a3d4702641f66368884a7eb28359d60690081
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #297( 1 hr 15 min )Console Output
isabelle-repo-makeallbuild #297( 1 hr 9 min )Console Output