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

#214 (May 31, 2016, 12:29:10 PM)

Changes
  1. added test (detail / hgweb)
  2. made parsing of monomorphic/polymorphic constants more robust (detail / hgweb)
  3. more flexible parsing (towards type class support) (detail / hgweb)
  4. error message (detail / hgweb)

Started by an SCM change

Revision: 3e79279c10ca0032d9173bed0edec29aa4bc7274
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #214( 3 hr 40 min )Console Output
isabelle-repo-makeallbuild #214( 1 hr 16 min )Console Output