Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. obsolete;
  2. more keywords for scala3;
  3. discontinued Isabelle tools implemented as .scala scripts;
Changeset 75644:3fad59705ab7 by wenzelm:
obsolete;
The file was modified src/Pure/System/isabelle_tool.scala
Changeset 75643:3c659dfa82f8 by wenzelm:
more keywords for scala3;
The file was modified src/Tools/Code/code_scala.ML
Changeset 75642:bb048086468a by wenzelm:
discontinued Isabelle tools implemented as .scala scripts;
The file was modified NEWS
The file was modified src/Doc/System/Environment.thy
The file was modified src/Pure/System/isabelle_tool.scala