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

#257 (Jun 20, 2016, 10:53:08 AM)

Changes
  1. Merged (detail / hgweb)
  2. Merged (detail / hgweb)
  3. fps_from_poly → fps_of_poly (detail / hgweb)
  4. Merged (detail / hgweb)
  5. Various additions to polynomials, FPSs, Gamma function (detail / hgweb)

Started by an SCM change

Revision: 0c89eef797017a1769f32dbf59c7b83f0010dc37
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #257( 4 hr 8 min )Console Output
isabelle-repo-makeallbuild #257( 1 hr 16 min )Console Output