Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper treatment of startup errors, notably for Pure ROOT.ML;
  2. proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;
  3. merged
  4. Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
  5. more robust, notably wrt. interrupts;
  6. merged
  7. more NEWS;
  8. clarified messages: indicate termination explicitly;
  9. avoid vacous type variable, due to "potentially redundant" shyps in Thm.unconstrainT;
  10. Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
  11. updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
  12. avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
  13. clarified signature: more direct Isabelle_Process.EXIT;
  14. proper arguments of protocol function;
Changeset 71668:25ef5c7287a7 by wenzelm:
proper treatment of startup errors, notably for Pure ROOT.ML;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71667:4d2de35214c5 by wenzelm:
proper treatment of protocol exceptions and prover termination: avoid session.stop while saving image;
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71666:e15ca98ffbfe by wenzelm:
merged
Changeset 71665:9fdbd2f0b56e by wenzelm:
Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
The file was modified .hgtags (diff)
Changeset 71664:1f3d9a9dd42a by wenzelm:
more robust, notably wrt. interrupts;
The file was modified src/HOL/Tools/Nitpick/kodkod.ML (diff)
Changeset 71663:fb7fdd3eb7b9 by wenzelm:
merged
Changeset 71662:263298eb68b2 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 71661:6db526adccac by wenzelm:
clarified messages: indicate termination explicitly;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 71660:4269db8981b8 by wenzelm:
avoid vacous type variable, due to "potentially redundant" shyps in Thm.unconstrainT;
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 71659:7eda22253605 by wenzelm:
Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
The file was modified .hgtags (diff)
Changeset 71658:7fe1a344404a by wenzelm:
updated to current cygwin-20200323, after 3.1.4-1 from 19-Feb-2020;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
Changeset 71657:0f98a7c366ed by wenzelm:
avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 71656:3e121f999120 by wenzelm:
clarified signature: more direct Isabelle_Process.EXIT;
The file was modified src/Pure/System/command_line.ML (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 71655:dad29591645a by wenzelm:
proper arguments of protocol function;
The file was modified src/Pure/PIDE/session.scala (diff)