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

#135 (Apr 7, 2016, 8:38:08 PM)

Changes
  1. (un)folds are not legacy (detail / hgweb)
  2. removed duplicate lemma (detail / hgweb)
  3. derive (co)rec uniformly from (un)fold (detail / hgweb)

Started by an SCM change

Revision: 9ad0bac25a84688a5349875add284f8a25496b7b
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #135( 3 hr 9 min )Console Output
isabelle-repo-makeallbuild #135( 35 min )Console Output