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

#431 (Sep 12, 2016, 9:42:05 AM)

Changes
  1. more robust multiset simproc (detail / hgweb)
  2. delete looping simp rule (detail / hgweb)

Started by an SCM change

Revision: 32690ddf614fe5fee8d878e97bea6e6ce8b86920
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #431( 1 hr 12 min )Console Output
isabelle-repo-afpbuild #431( 1 hr 22 min )Console Output