Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 11 mo ago
Took 1 hr 18 min on built-in
Success

#326 (Jul 26, 2016, 4:12:03 PM)

Changes
  1. honor sorts in (co)datatype declarations (detail / hgweb)

Started by an SCM change

Revision: 679402a894aeff991c7a7945f75432cd9a01b9d8
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #326( 1 hr 18 min )Console Output
isabelle-repo-makeallbuild #326( 1 hr 10 min )Console Output