Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned comments;
  2. support for Isabelle/Scala/Java modules in Isabelle/ML;
  3. more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
  4. clarified signature: read_theory_exports is already ordered;
  5. clarified signature;
  6. tuned;
Changeset 75661:2d153e052aea by wenzelm:
tuned comments;
The file was modified src/Pure/Tools/scala_build.scala (diff)
Changeset 75660:45d3497c0baa by wenzelm:
support for Isabelle/Scala/Java modules in Isabelle/ML;
The file was addedsrc/Pure/Tools/scala_build.ML
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/Tools/scala_build.scala (diff)
Changeset 75659:9bd92ac9328f by wenzelm:
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/PIDE/markup_tree.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Tools/build_docker.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 75658:5905c7f484b3 by wenzelm:
clarified signature: read_theory_exports is already ordered;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 75657:900b76040211 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/scala_build.scala (diff)
Changeset 75656:7900336c82b6 by wenzelm:
tuned;
The file was modified src/Pure/Tools/scala_project.scala (diff)