Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to jdk-11.0.6+10;
  2. misc tuning, following hint by IntelliJ;
  3. tuned;
  4. tuned -- avoid deprecated constructors;
  5. proper comparison of Option values, following hint by IntelliJ;
  6. unused -- clone of Option.apply;
  7. added "isabelle scala_project" to support e.g. IntelliJ IDEA;
  8. unused;
Changeset 71384:0243bf758e79 by wenzelm:
updated to jdk-11.0.6+10;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 71383:8313dca6dee9 by wenzelm:
misc tuning, following hint by IntelliJ;
The file was modified src/Pure/General/linear_set.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/markup_tree.scala (diff)
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/System/getopts.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/System/platform.scala (diff)
The file was modified src/Pure/System/tty_loop.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)
The file was modified src/Tools/Graphview/graph_panel.scala (diff)
The file was modified src/Tools/Graphview/layout.scala (diff)
The file was modified src/Tools/Graphview/metrics.scala (diff)
The file was modified src/Tools/Graphview/mutator_dialog.scala (diff)
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
Changeset 71382:6316debd3a9f by wenzelm:
tuned;
The file was modified src/Pure/General/cache.scala (diff)
Changeset 71381:b9ea2467c929 by wenzelm:
tuned -- avoid deprecated constructors;
The file was modified src/Pure/GUI/color_value.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
Changeset 71380:5965e6e3c3ec by wenzelm:
proper comparison of Option values, following hint by IntelliJ;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 71379:942cc80ba18a by wenzelm:
unused -- clone of Option.apply;
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 71378:820cf124dced by wenzelm:
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
The file was addedsrc/Pure/Tools/scala_project.scala
The file was modified NEWS (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 71377:e40f287c25c4 by wenzelm:
unused;
The file was modified src/Pure/General/file.scala (diff)