Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
  2. more robust: snap version of docker cannot access /tmp;
  3. tuned signature;
  4. update to scala-3.2.0; enforce rebuild of Isabelle/ML + Isabelle/Scala;
  5. avoid crash of JLine on Windows;
  6. update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
  7. clarified default, following 8b695e59db3f;
  8. tuned signature;
  9. tuned;
  10. clarified modules;
  11. discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
  12. clarified options;
  13. clarified options;
Changeset 76179:49b16832f173 by wenzelm:
include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";
The file was modified src/Pure/Tools/build_docker.scala
Changeset 76178:1f95e9424341 by wenzelm:
more robust: snap version of docker cannot access /tmp;
The file was modified NEWS
The file was modified src/Doc/System/Misc.thy
The file was modified src/Pure/Tools/build_docker.scala
Changeset 76177:b847a9983784 by wenzelm:
tuned signature;
The file was modified src/Pure/System/isabelle_system.scala
Changeset 76176:d6bd84eb94a3 by wenzelm:
update to scala-3.2.0;<br>enforce rebuild of Isabelle/ML + Isabelle/Scala;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Admin/build_scala.scala
The file was modified src/Pure/ROOT.ML
The file was modified src/Pure/ROOT.scala
Changeset 76175:4ff3cea76201 by wenzelm:
avoid crash of JLine on Windows;
The file was modified lib/Tools/scala
Changeset 76174:c8ab2316e3cb by wenzelm:
update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 76173:5298a498738c by wenzelm:
clarified default, following 8b695e59db3f;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 76172:81241a1d3d99 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 76171:f740d62a3470 by wenzelm:
tuned;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 76170:5912209b4fb6 by wenzelm:
clarified modules;
The file was modified src/Pure/General/rsync.scala
The file was modified src/Pure/General/ssh.scala
The file was modified src/Pure/Tools/phabricator.scala
Changeset 76169:a3c694039fd6 by wenzelm:
discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/General/mercurial.scala
The file was modified src/Pure/General/ssh.scala
The file was modified src/Pure/System/components.scala
The file was modified src/Pure/Tools/phabricator.scala
Changeset 76168:aab9bb081f01 by wenzelm:
clarified options;
The file was modified etc/options
The file was modified src/Pure/General/ssh.scala
Changeset 76167:e517a38dc0e6 by wenzelm:
clarified options;
The file was modified etc/options
The file was modified src/Pure/General/ssh.scala

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. prefer (smt (verit)), which is potentially more stable under heavy load;
  2. Add additional results.
  3. Formatting.
  4. Add papers to abstracts.
Changeset 13015:b1e98098b68a by wenzelm:
prefer (smt (verit)), which is potentially more stable under heavy load;
The file was modified thys/PAC_Checker/PAC_Checker.thy
The file was modified thys/PAC_Checker/PAC_Checker_Init.thy
The file was modified thys/PAC_Checker/PAC_Checker_Relation.thy
The file was modified thys/PAC_Checker/PAC_Checker_Specification.thy
The file was modified thys/PAC_Checker/PAC_More_Poly.thy
The file was modified thys/PAC_Checker/PAC_Specification.thy
The file was modified thys/PAC_Checker/WB_Sort.thy
Changeset 13014:07db9d882bb2 by asta halkjær from _andro.from@gmail.com_:
Add additional results.
The file was addedthys/FOL_Seq_Calc1/Sequent2.thy
The file was modified thys/FOL_Seq_Calc1/ROOT
Changeset 13013:15e14652abfa by asta halkjær from _andro.from@gmail.com_:
Formatting.
The file was modified thys/FOL_Seq_Calc3/Main.hs
The file was modified thys/FOL_Seq_Calc3/Prover.thy
The file was modified thys/FOL_Seq_Calc3/Syntax.thy
Changeset 13012:125fba65042f by asta halkjær from _andro.from@gmail.com_:
Add papers to abstracts.
The file was modified metadata/entries/FOL_Axiomatic.toml
The file was modified metadata/entries/FOL_Seq_Calc2.toml
The file was modified metadata/entries/Hybrid_Logic.toml