Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support for platform-specific executables;
  2. merged
  3. merged
  4. tidying and removal of legacy name
  5. tuned whitespace;
  6. more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp;
  7. clarified signature;
  8. presumably redundant (absent in Windows/Cygwin download);
  9. tuned messages;
  10. build Isabelle veriT component from official download;
  11. tuned;
  12. tuned messages;
  13. direct exit to theory when ending nested target on theory target
  14. tuned
  15. consolidated terminology
  16. avoid baroque export
Changeset 72448:faad63aca1e7 by wenzelm:
support for platform-specific executables;
The file was addedsrc/Pure/System/executable.scala
The file was modified src/Pure/build-jars (diff)
Changeset 72447:c6c352c5807f by paulson:
merged
Changeset 72446:d189ad779a23 by paulson:
merged
Changeset 72445:2c2de074832e by paulson _lp15@cam.ac.uk_:
tidying and removal of legacy name
The file was modified src/HOL/Analysis/Change_Of_Vars.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
Changeset 72444:2d9a70b85009 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_e.scala (diff)
The file was modified src/Pure/Admin/build_spass.scala (diff)
The file was modified src/Pure/Admin/build_sqlite.scala (diff)
Changeset 72443:ff5e700ed490 by wenzelm:
more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp;
The file was modified src/Pure/Admin/build_verit.scala (diff)
Changeset 72442:90868036d693 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_verit.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 72441:a3257d0e8bbb by wenzelm:
presumably redundant (absent in Windows/Cygwin download);
The file was modified src/Pure/Admin/build_verit.scala (diff)
Changeset 72440:d0ba71b3297e by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_e.scala (diff)
The file was modified src/Pure/Admin/build_spass.scala (diff)
The file was modified src/Pure/Admin/build_verit.scala (diff)
Changeset 72439:7f6800b2e8c2 by wenzelm:
build Isabelle veriT component from official download;
The file was addedsrc/Pure/Admin/build_verit.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72438:90c6e9a83c1e by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
Changeset 72437:efc5ae4b4ac8 by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
Changeset 72436:d62d84634b06 by haftmann:
direct exit to theory when ending nested target on theory target
The file was modified src/HOL/Eisbach/method_closure.ML (diff)
The file was modified src/Pure/Isar/bundle.ML (diff)
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 72435:166fc8b9b4cd by haftmann:
tuned
The file was modified src/Pure/Isar/bundle.ML (diff)
Changeset 72434:cc27cf7e51c6 by haftmann:
consolidated terminology
The file was modified src/Pure/Isar/outer_syntax.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 72433:7e0e497dacbc by haftmann:
avoid baroque export
The file was modified src/HOL/Eisbach/method_closure.ML (diff)
The file was modified src/Pure/Isar/bundle.ML (diff)
The file was modified src/Pure/Isar/local_theory.ML (diff)