Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
  2. more direct implementation of distinct_subgoals_tac -- potentially more efficient;
  3. tuned;
  4. HOL-SPARK .prv files are no longer written to the file-system;
  5. updated to postgresql-42.2.5;
Changeset 69102:4b06a20b13b5 by wenzelm:
tuned output -- avoid bombing of Scala toplevel, e.g. for AFP deps;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 69101:991a3feaf270 by wenzelm:
more direct implementation of distinct_subgoals_tac -- potentially more efficient;
The file was modified src/Pure/tactic.ML (diff)
The file was modified src/Pure/thm.ML (diff)
Changeset 69100:0b0c3dfd730f by wenzelm:
tuned;
The file was modified src/Pure/drule.ML (diff)
Changeset 69099:d44cb8a3e5e0 by wenzelm:
HOL-SPARK .prv files are no longer written to the file-system;
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/SPARK/Tools/spark_commands.ML (diff)
The file was modified src/HOL/SPARK/Tools/spark_vcs.ML (diff)
The file was removedsrc/HOL/SPARK/etc/options
Changeset 69098:dabe59286c79 by wenzelm:
updated to postgresql-42.2.5;
The file was modified Admin/components/main (diff)