Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. fixed TFX generation when universal quantifier is used as term
  3. merged
  4. various improvements of "isabelle scala_project";
  5. support for native symlinks on Windows;
  6. tuned Mirabelle's theory selection
Changeset 74074:2af4e088c01c by desharna:
merged
Changeset 74073:6c8473b4f518 by desharna:
fixed TFX generation when universal quantifier is used as term
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)
Changeset 74072:dc98bb7a439b by wenzelm:
merged
Changeset 74071:b25b7c264a93 by wenzelm:
various improvements of "isabelle scala_project";
The file was modified NEWS (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 74070:a69a13c4b049 by wenzelm:
support for native symlinks on Windows;
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 74069:ffbd1b7e5439 by desharna:
tuned Mirabelle's theory selection
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)