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

#223 (May 26, 2016, 12:08:47 PM)

Changes
  1. merged (detail / hgweb)
  2. moved contents of Inits.thy into Library/Sublist.thy, renaming inits to prefixes (detail / hgweb)
  3. use Regular-Sets session directly (detail / hgweb)

Started by an SCM change

Revision: 932234923e3ff8322a764937f6033e6317439625
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #223( 3 hr 43 min )Console Output