Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust;
  2. merged
  3. proper target directory for libraries;
  4. proper library names on Windows;
  5. proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
  6. build Isabelle Zipperposition component from OPAM repository;
  7. tuned messages --- less SPAM;
  8. tuned signature;
  9. tuned;
  10. misc tuning and clarification: prefer Executable.libraries_closure;
  11. tuned;
  12. more portable; tuned;
  13. reconstruction of veriT proofs in NEWS
Changeset 72471:aca85e8d873d by wenzelm:
more robust;
The file was modified src/Pure/Admin/build_zipperposition.scala (diff)
Changeset 72470:e2e9ef9aa2df by wenzelm:
merged
Changeset 72469:96f56191aaea by wenzelm:
proper target directory for libraries;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 72468:60471f4bafd2 by wenzelm:
proper library names on Windows;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/System/executable.scala (diff)
Changeset 72467:0822ff79eed8 by wenzelm:
proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
The file was modified src/Pure/Admin/build_zipperposition.scala (diff)
Changeset 72466:04403e1ef176 by wenzelm:
build Isabelle Zipperposition component from OPAM repository;
The file was addedsrc/Pure/Admin/build_zipperposition.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72465:de11c745ebbc by wenzelm:
tuned messages --- less SPAM;
The file was modified lib/scripts/getfunctions (diff)
Changeset 72464:b32eea5823c8 by wenzelm:
tuned signature;
The file was modified src/Pure/General/path.scala (diff)
Changeset 72463:defbbff7396c by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_csdp.scala (diff)
Changeset 72462:7c552a256ca5 by wenzelm:
misc tuning and clarification: prefer Executable.libraries_closure;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 72461:4c6f318bcf9c by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 72460:e79294c4230c by wenzelm:
more portable;<br>tuned;
The file was modified src/Pure/System/executable.scala (diff)
Changeset 72459:15fc6320da68 by mathias fleury _mathias.fleury@mpi-inf.mpg.de_:
reconstruction of veriT proofs in NEWS
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/SMT/verit_isar.ML (diff)
The file was modified src/HOL/Tools/SMT/verit_replay.ML (diff)
The file was modified src/HOL/Tools/SMT/verit_replay_methods.ML (diff)