Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. explicit theory for factorials
  2. more lemmas
  3. explore older history;
  4. more explicit flag for historic builds;
  5. proper result for rev == "";
  6. tuned -- more open to experimentation;
  7. tuned -- more visible;
  8. updated to polyml-5.7 for testing (not yet ready for production use);
  9. tuned;
Changeset 65812:04ba6d530c87 by haftmann:
explicit theory for factorials
The file was addedsrc/HOL/Factorial.thy
The file was modified src/HOL/Binomial.thy (diff)
Changeset 65811:2653f1cd8775 by haftmann:
more lemmas
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
Changeset 65810:356c2b488cf3 by wenzelm:
explore older history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65809:8d5ac49388ea by wenzelm:
more explicit flag for historic builds;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65808:cb3e9d7f1d5f by wenzelm:
proper result for rev == "";
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65807:a830c6257393 by wenzelm:
tuned -- more open to experimentation;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65806:0156222f2a18 by wenzelm:
tuned -- more visible;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65805:d3c5898f1a5e by wenzelm:
updated to polyml-5.7 for testing (not yet ready for production use);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/polyml/README (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65804:73ed0ebac3b0 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)