Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 10 mo ago
Took 1 hr 15 min on built-in
Success

#397 (Sep 1, 2016, 10:06:06 PM)

Changes
  1. tuned headers; (detail / hgweb)
  2. clarified session: use all theories in directory HOL/Library; (detail / hgweb)
  3. clarified session;
    misc tuning and modernization; (detail / hgweb)
  4. more careful quoting, e.g. relevant for \<^control>cartouche; (detail / hgweb)
  5. uniform capitalization of labels; (detail / hgweb)

Started by an SCM change

Revision: f3ad26c4b2d9e3f18c6a36e22d463fe79b05380c
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #397( 1 hr 15 min )Console Output
isabelle-repo-makeallbuild #397( 1 hr 9 min )Console Output