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

#310 (Jul 15, 2016, 1:47:09 PM)

Changes
  1. Merged (detail / hgweb)
  2. Tuned Gcd/Lcm in Codegenerator_Test (detail / hgweb)
  3. Merged (detail / hgweb)
  4. Tuned Bool_List_Representation (detail / hgweb)
  5. Added normalized fractions (detail / hgweb)
  6. Tuned looping simp rules in semiring_div (detail / hgweb)
  7. Reformed factorial rings (detail / hgweb)
  8. HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094) (detail / hgweb)

Started by an SCM change

Revision: ba050a42a702f4ca25e6c88f5f9cc491c32b7ce7
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #310( 1 hr 9 min )Console Output
isabelle-repo-afpbuild #310( 1 hr 10 min )Console Output