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

#318 (Jul 20, 2016, 3:03:06 PM)

Changes
  1. more instantiations for multiset (detail / hgweb)
  2. adding mset_map to the simp rules (detail / hgweb)

Started by an SCM change (2 times)

Revision: f01d1e393f3f4f898a4b4404cccfff78ae65afcc
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #318( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #318( 1 hr 8 min )Console Output