Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned imports -- accommodate scala-2.13.0-RC3;
  2. tuned -- accommodate scala-2.13.0-RC3;
  3. merged
  4. Added tag Isabelle2019-RC4 for changeset ad2d84c42380
  5. hint on printing via Web browser;
  6. tuned;
Changeset 70302:9ea7081c3f03 by wenzelm:
tuned imports -- accommodate scala-2.13.0-RC3;
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/dynamic_output.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_spell_checker.scala (diff)
Changeset 70301:9f2a6856b912 by wenzelm:
tuned -- accommodate scala-2.13.0-RC3;
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/System/tty_loop.scala (diff)
Changeset 70300:22c7eee0dd56 by wenzelm:
merged
Changeset 70299:83774d669b51 by wenzelm:
Added tag Isabelle2019-RC4 for changeset ad2d84c42380
The file was modified .hgtags (diff)
Changeset 70298:ad2d84c42380 by wenzelm:
hint on printing via Web browser;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
Changeset 70297:67edf0234417 by wenzelm:
tuned;
The file was modified NEWS (diff)