Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 0 mo ago
Took 3 hr 39 min on built-in
Success

#247 (Jun 7, 2016, 7:44:10 AM)

Changes
  1. Merged in bulwahn/afp-devel (pull request #4): base Card_Equiv_Relations on definitions and proofs in Disjoint_Sets (detail / hgweb)
  2. base Card_Equiv_Relations on definitions and proofs in Disjoint_Sets (detail / hgweb)

Started by an SCM change

Revision: 394d1864a4a6e7f71a0abedb4a938ea8543924e0
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #247( 3 hr 39 min )Console Output