Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 2 hr 43 min on built-in
Success

#70 (Feb 18, 2016, 4:22:45 PM)

Changes
  1. merge (of List_Factoring) (detail / hgweb)
  2. worked off first 2 cases for pairwise TS (detail / hgweb)
  3. merge (detail / hgweb)
  4. finished proofs in List_Factoring (detail / hgweb)
  5. removed some text (detail / hgweb)
  6. merged (detail / hgweb)
  7. tuned; (detail / hgweb)
  8. removed some sorrys (detail / hgweb)

Started by an SCM change

Revision: a1e1c1e74e99c84e83bee8aba2d526092361f142
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #70( 2 hr 43 min )Console Output