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

#28 (Feb 20, 2016, 9:26:10 AM)

Changes
  1. more theorems (detail / hgweb)
  2. sorted out some duplicate fact bindings (detail / hgweb)
  3. more direct bootstrap of char type, still retaining the nibble representation for syntax (detail / hgweb)

Started by an SCM change

Revision: 95c6cf433c9188e55f279d71bcb16b3b6f5bf325
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #28( 3 hr 3 min )Console Output
isabelle-repo-makeallbuild #28( 1 hr 0 min )Console Output