Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
  3. merged
  4. tuned --- avoid warnings in scala3;
  5. tuned --- avoid redundant patterns;
  6. avoid pattern-match warnings, notably in scala3;
  7. proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
  8. tuned --- accomodate scala3;
  9. proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
  10. back to more ambitious scala-3.1.1 (see 8b7497992301);
  11. tuned --- fewer warnings in scala3;
  12. tuned -- avoid warnings for scala3;
  13. tuned signature -- avoid warnings for scala3;
  14. removed unused flag (see 25c6423ec538);
  15. clarified versions;
  16. documentation on diagnostic devices for code generation
  17. more correct language
Changeset 75430:320f413fe4b9 by wenzelm:
merged
Changeset 75429:436747f1f632 by wenzelm:
revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/System/scala_compiler.ML (diff)
Changeset 75428:d5dd932552c0 by wenzelm:
merged
Changeset 75427:323481d143c6 by wenzelm:
tuned --- avoid warnings in scala3;
The file was modified src/Pure/term_xml.scala (diff)
Changeset 75426:7ae5df33ff23 by wenzelm:
tuned --- avoid redundant patterns;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 75425:b958e053d993 by wenzelm:
avoid pattern-match warnings, notably in scala3;
The file was modified etc/settings (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Pure/term_xml.scala (diff)
The file was modified src/Tools/Graphview/layout.scala (diff)
The file was modified src/Tools/Graphview/shapes.scala (diff)
Changeset 75424:5f8f0bf8c72c by wenzelm:
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
The file was modified src/Tools/Graphview/layout.scala (diff)
The file was modified src/Tools/Graphview/shapes.scala (diff)
Changeset 75423:d164bf04d05e by wenzelm:
tuned --- accomodate scala3;
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 75422:6c3190da9701 by wenzelm:
proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
The file was modified src/Tools/Graphview/layout.scala (diff)
Changeset 75421:3c710067b178 by wenzelm:
back to more ambitious scala-3.1.1 (see 8b7497992301);
The file was modified src/Pure/Admin/build_scala.scala (diff)
Changeset 75420:73a2f3fe0e8c by wenzelm:
tuned --- fewer warnings in scala3;
The file was modified src/Pure/General/antiquote.scala (diff)
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Pure/ML/ml_lex.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 75419:be5aa2c9c9ad by wenzelm:
tuned -- avoid warnings for scala3;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 75418:6e0a452dab72 by wenzelm:
tuned signature -- avoid warnings for scala3;
The file was modified src/Tools/Graphview/popups.scala (diff)
Changeset 75417:2c861b196d52 by wenzelm:
removed unused flag (see 25c6423ec538);
The file was modified src/Pure/System/scala.scala (diff)
The file was modified src/Pure/System/scala_compiler.ML (diff)
Changeset 75416:39aa4d9e5559 by wenzelm:
clarified versions;
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 75415:e0fa345f1aab by haftmann:
documentation on diagnostic devices for code generation
The file was modified src/Doc/Isar_Ref/HOL_Specific.thy (diff)
Changeset 75414:7b75a2c5b142 by haftmann:
more correct language
The file was modified src/Doc/Isar_Ref/HOL_Specific.thy (diff)