Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned imports -- accommodate scala-2.13.0-RC3;
  2. tuned -- accommodate scala-2.13.0-RC3;
Changeset 70302:9ea7081c3f03 by wenzelm:
tuned imports -- accommodate scala-2.13.0-RC3;
The file was modified src/Tools/VSCode/src/channel.scala
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/VSCode/src/dynamic_output.scala
The file was modified src/Tools/VSCode/src/preview_panel.scala
The file was modified src/Tools/VSCode/src/protocol.scala
The file was modified src/Tools/VSCode/src/server.scala
The file was modified src/Tools/VSCode/src/state_panel.scala
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
The file was modified src/Tools/VSCode/src/vscode_spell_checker.scala
Changeset 70301:9f2a6856b912 by wenzelm:
tuned -- accommodate scala-2.13.0-RC3;
The file was modified src/Pure/PIDE/prover.scala
The file was modified src/Pure/System/tty_loop.scala