Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned --- fewer warnings;
  2. tuned --- fewer warnings;
  3. more robust error;
  4. tuned --- fewer warnings;
  5. tuned --- fewer warnings;
  6. tuned --- fewer warnings;
  7. updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
Changeset 73358:78aa7846e91f by wenzelm:
tuned --- fewer warnings;
The file was modified src/Tools/jEdit/src/document_model.scala
The file was modified src/Tools/jEdit/src/isabelle_sidekick.scala
The file was modified src/Tools/jEdit/src/jedit_editor.scala
The file was modified src/Tools/jEdit/src/jedit_rendering.scala
The file was modified src/Tools/jEdit/src/pretty_tooltip.scala
The file was modified src/Tools/jEdit/src/text_structure.scala
The file was modified src/Tools/jEdit/src/theories_dockable.scala
The file was modified src/Tools/jEdit/src/timing_dockable.scala
Changeset 73357:31d4274f32de by wenzelm:
tuned --- fewer warnings;
The file was modified src/Pure/General/scan.scala
The file was modified src/Pure/PIDE/command.scala
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/library.scala
The file was modified src/Tools/Graphview/mutator_dialog.scala
The file was modified src/Tools/VSCode/src/language_server.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
Changeset 73356:819f6033fb4e by wenzelm:
more robust error;
The file was modified src/Pure/System/scala.scala
Changeset 73355:ec52a1a6ed31 by wenzelm:
tuned --- fewer warnings;
The file was modified src/Pure/General/symbol.scala
The file was modified src/Pure/library.scala
Changeset 73354:79b120d1c1a3 by wenzelm:
tuned --- fewer warnings;
The file was modified src/Tools/jEdit/src/jedit_lib.scala
Changeset 73353:279e45248e9d by wenzelm:
tuned --- fewer warnings;
The file was modified src/Pure/General/file_watcher.scala
The file was modified src/Tools/jEdit/src/fold_handling.scala
The file was modified src/Tools/jEdit/src/keymap_merge.scala
The file was modified src/Tools/jEdit/src/token_markup.scala
Changeset 73352:54b43bcf1df3 by wenzelm:
updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/ROOT.scala