Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. allow general command transactions with presentation;
  2. more operations;
  3. clarified signature;
  4. tuned signature;
  5. support Gradle as alternative to Maven (again);
  6. tuned mirabelle command-line help message
  7. updated Mirabelle documentation
  8. proper documentation for induction_rules Sledgehammer option
Changeset 74964:77a96ed74340 by wenzelm:
allow general command transactions with presentation;
The file was modified src/Pure/Isar/outer_syntax.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 74963:29dfe75c058b by wenzelm:
more operations;
The file was modified src/Pure/General/json_api.scala (diff)
Changeset 74962:2c9c4ad4c816 by wenzelm:
clarified signature;
The file was modified src/Pure/General/json_api.scala (diff)
The file was modified src/Pure/Tools/flarum.scala (diff)
Changeset 74961:bb0858cc574e by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/flarum.scala (diff)
Changeset 74960:f03ece7155d6 by wenzelm:
support Gradle as alternative to Maven (again);
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 74959:340c5f3506a8 by desharna:
tuned mirabelle command-line help message
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
Changeset 74958:953f53f03437 by desharna:
updated Mirabelle documentation
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 74957:089eeaaee525 by desharna:
proper documentation for induction_rules Sledgehammer option
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)