Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 55 min on built-in
Failed

#17 (Feb 17, 2016, 1:23:10 PM)

Changes
  1. document new 'primrec' feature (detail / hgweb)
  2. allow predicator instead of map function in 'primrec' (detail / hgweb)

Started by an SCM change

Revision: 112eefe85ff03a829190f2487c4f95c5b32ac1bf
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #17( 1 min 24 sec )Console Output
isabelle-repo-makeallbuild #17( 55 min )Console Output