Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. more Isabelle/ML/Scala operations;
  2. more Isabelle/ML/Scala operations;
  3. more Isabelle/ML/Scala operations; clarified errors;
  4. proper src1, amending 20157c8ab3f3;
  5. tuned;
  6. proper File.eq, amending df49ca5da9d0;
  7. tuned;
  8. clarified modules: more like ML;
  9. obsolete;
  10. tuned;
  11. more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
  12. discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working;
Changeset 73324:48abb09d49ea by wenzelm:
more Isabelle/ML/Scala operations;
The file was modified NEWS
The file was modified src/Pure/System/isabelle_system.ML
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Pure/System/scala.scala
Changeset 73323:c2ab1a970e82 by wenzelm:
more Isabelle/ML/Scala operations;
The file was modified NEWS
The file was modified src/Pure/System/isabelle_system.ML
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Pure/System/scala.scala
Changeset 73322:5b15eee1a661 by wenzelm:
more Isabelle/ML/Scala operations;<br>clarified errors;
The file was modified NEWS
The file was modified src/Pure/System/isabelle_system.ML
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Pure/System/scala.scala
Changeset 73321:0b8411b27059 by wenzelm:
proper src1, amending 20157c8ab3f3;
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73320:20157c8ab3f3 by wenzelm:
tuned;
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73319:a7d9edd2e63b by wenzelm:
proper File.eq, amending df49ca5da9d0;
The file was modified src/Pure/System/isabelle_system.scala
Changeset 73318:a45cb064709b by wenzelm:
tuned;
The file was modified src/Pure/General/file.scala
Changeset 73317:df49ca5da9d0 by wenzelm:
clarified modules: more like ML;
The file was modified src/Pure/Admin/build_csdp.scala
The file was modified src/Pure/Admin/build_e.scala
The file was modified src/Pure/Admin/build_fonts.scala
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/Admin/build_polyml.scala
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/build_spass.scala
The file was modified src/Pure/Admin/build_sqlite.scala
The file was modified src/Pure/Admin/build_vampire.scala
The file was modified src/Pure/Admin/build_verit.scala
The file was modified src/Pure/Admin/build_zipperposition.scala
The file was modified src/Pure/Admin/components.scala
The file was modified src/Pure/Admin/other_isabelle.scala
The file was modified src/Pure/General/file.scala
The file was modified src/Pure/System/executable.scala
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Pure/Thy/bibtex.scala
The file was modified src/Pure/Thy/presentation.scala
The file was modified src/Pure/Tools/build_docker.scala
The file was modified src/Pure/Tools/scala_project.scala
Changeset 73316:8664433956b3 by wenzelm:
obsolete;
The file was modified src/Pure/System/isabelle_system.ML
Changeset 73315:d01ca5e9e0da by wenzelm:
tuned;
The file was modified src/HOL/TPTP/MaSh_Eval.thy
The file was modified src/HOL/TPTP/MaSh_Export.thy
The file was modified src/HOL/TPTP/atp_theory_export.ML
Changeset 73314:87403fde8cc3 by wenzelm:
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
The file was modified src/Pure/General/file.ML
The file was modified src/Pure/System/isabelle_system.ML
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Pure/System/scala.scala
Changeset 73313:8ae2f8ebc373 by wenzelm:
discontinued somewhat pointless &quot;integrity test of build_history&quot;: it fails right now, but also failed to expose spurious incompatibilities when it was working;
The file was modified src/Pure/Admin/isabelle_cronjob.scala