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

#342 (Jul 21, 2016, 11:59:11 AM)

Changes
  1. merged (detail / hgweb)
  2. clarified imports: Pure comes last to avoid confusion of Pure.simp vs. HOL.simp; (detail / hgweb)
  3. tuned signature; (detail / hgweb)

Started by an SCM change

Revision: 18d3ec0ed6904c2e45af4c767b22c95ae4d462aa
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #342( 1 hr 14 min )Console Output