Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206;
  2. build Isabelle CSDP component from official downloads;
  3. rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
  4. proper support for Windows/Cygwin;
  5. build Isabelle SPASS component from unofficial download;
  6. tuned;
  7. clarified according to Isabelle_System.download;
  8. misc tuning;
  9. rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
  10. discontinued unused eproof_ram (actually absent in version 2.5);
  11. discontinued obsolete runepar.pl (see 4a3169d8885c);
Changeset 72415:84edb8f30fbe by wenzelm:
component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206;
The file was modified Admin/components/components.sha1 (diff)
Changeset 72414:af24c0dd6975 by wenzelm:
build Isabelle CSDP component from official downloads;
The file was addedsrc/Pure/Admin/build_csdp.scala
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72413:c2b44fb3add4 by wenzelm:
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72412:9ed9585c495b by wenzelm:
proper support for Windows/Cygwin;
The file was modified src/Pure/Admin/build_spass.scala (diff)
Changeset 72411:b8cc129ece05 by wenzelm:
build Isabelle SPASS component from unofficial download;
The file was addedsrc/Pure/Admin/build_spass.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 72410:f98f764239a4 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_e.scala (diff)
Changeset 72409:da577e2d42b3 by wenzelm:
clarified according to Isabelle_System.download;
The file was modified lib/Tools/components (diff)
Changeset 72408:2daa5f549687 by wenzelm:
misc tuning;
The file was modified src/Pure/Admin/build_e.scala (diff)
Changeset 72407:5b15a9f854aa by wenzelm:
rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72406:a49be9fc83c3 by wenzelm:
discontinued unused eproof_ram (actually absent in version 2.5);
The file was modified src/Pure/Admin/build_e.scala (diff)
Changeset 72405:c8e8e3e3d929 by wenzelm:
discontinued obsolete runepar.pl (see 4a3169d8885c);
The file was modified src/Pure/Admin/build_e.scala (diff)