Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
  2. misc tuning and updates;
  3. clarified default args; more ambitious tests;
  4. speculative support for latest Mac OS X versions -- no reference systems yet;
  5. merged
  6. more ambitious default;
  7. updated to new structure Foreign; more robust memory management;
  8. HOL-Probability: Essential Supremum as Limsup over ae_filter
  9. less ambitious test;
  10. proper type for Poly/ML development version;
  11. more operations;
  12. more on sgn in linear ordered fields
Changeset 64340:7f42e66c0d3d by wenzelm:
minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
The file was modified Admin/polyml/INSTALL-MinGW (diff)
Changeset 64339:321065f9f55b by wenzelm:
misc tuning and updates;
The file was modified Admin/PLATFORMS (diff)
Changeset 64338:20c543b9fa80 by wenzelm:
clarified default args;<br>more ambitious tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64337:e3b57c8046cb by wenzelm:
speculative support for latest Mac OS X versions -- no reference systems yet;
The file was modified Admin/PLATFORMS (diff)
Changeset 64336:beb3ebb9f567 by wenzelm:
merged
Changeset 64335:24e676390259 by wenzelm:
more ambitious default;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 64334:4fb8560df827 by wenzelm:
updated to new structure Foreign;<br>more robust memory management;
The file was modified src/Pure/General/sha1.ML (diff)
Changeset 64333:692a1b317316 by hoelzl:
HOL-Probability: Essential Supremum as Limsup over ae_filter
The file was modified src/HOL/Probability/Essential_Supremum.thy (diff)
Changeset 64332:76a3e0f894fd by wenzelm:
less ambitious test;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64331:abf7b6e6865f by wenzelm:
proper type for Poly/ML development version;
The file was modified src/Pure/ML_Bootstrap.thy (diff)
Changeset 64330:d9a9ae3956f6 by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64329:8f9d27c89241 by haftmann:
more on sgn in linear ordered fields
The file was modified src/HOL/Fields.thy (diff)