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

#114 (Mar 29, 2016, 11:32:09 PM)

Changes
  1. more 'corec' docs (detail / hgweb)
  2. tuning (detail / hgweb)
  3. more 'corec' docs (detail / hgweb)
  4. try tactics in right order w.r.t. schematics (detail / hgweb)
  5. more natural order for 'cong_intros' (detail / hgweb)
  6. more 'corec' documentation (detail / hgweb)
  7. renamed generated theorem (detail / hgweb)
  8. tuning (detail / hgweb)
  9. added sketchy 'corec' documentation (detail / hgweb)

Started by an SCM change

Revision: f65ef4723acae54ac05e5e1da9dd4f05b2a551bb
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #114( 3 hr 14 min )Console Output
isabelle-repo-makeallbuild #114( 1 hr 9 min )Console Output