Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. provide components for scala3 (still inactive);
  2. updated download version;
  3. obsolete;
  4. more keywords for scala3;
  5. discontinued Isabelle tools implemented as .scala scripts;
  6. tuned proofs
Changeset 75646:a1421c88ae0a by wenzelm:
provide components for scala3 (still inactive);
The file was modified Admin/components/components.sha1 (diff)
Changeset 75645:6cb76a8adc06 by wenzelm:
updated download version;
The file was modified src/Pure/Admin/build_scala.scala (diff)
Changeset 75644:3fad59705ab7 by wenzelm:
obsolete;
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 75643:3c659dfa82f8 by wenzelm:
more keywords for scala3;
The file was modified src/Tools/Code/code_scala.ML (diff)
Changeset 75642:bb048086468a by wenzelm:
discontinued Isabelle tools implemented as .scala scripts;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 75641:a7e0129b8b2d by desharna:
tuned proofs
The file was modified src/HOL/ex/Unification.thy (diff)