HomeIsabelle/Phabricator
Diffusion Isabelle 4519eeefe3b5

avoid conflicting base names;
4519eeefe3b5
Actions

Description

avoid conflicting base names;

Details

Provenance
makariusAuthored on
Parents
rISABELLE042180540068: clarified protocol: Doc.check at run-time via Scala function;
Branches
Unknown
Tags
Unknown

Changes (19)

PathSize
Pure/
System/
lsp.scala
protocol.scala
vscode_model.scala
document_model.scala

rISABELLE4519eeefe3b5

View Options

src/Pure/System/isabelle_tool.scala

Loading...
View Options

src/Pure/build-jars

Loading...
View Options

src/Tools/VSCode/src/channel.scala

Loading...
View Options

src/Tools/VSCode/src/document_model.scala

Loading...
View Options

src/Tools/VSCode/src/dynamic_output.scala

Loading...
View Options

src/Tools/VSCode/src/language_server.scala

Loading...
View Options

src/Tools/VSCode/src/lsp.scala

Loading...
View Options

src/Tools/VSCode/src/preview_panel.scala

Loading...
View Options

src/Tools/VSCode/src/protocol.scala

Loading...
View Options

src/Tools/VSCode/src/server.scala

Loading...
View Options

src/Tools/VSCode/src/state_panel.scala

Loading...
View Options

src/Tools/VSCode/src/vscode_model.scala

Loading...
View Options

src/Tools/VSCode/src/vscode_rendering.scala

Loading...
View Options

src/Tools/VSCode/src/vscode_resources.scala

Loading...
View Options

src/Tools/VSCode/src/vscode_spell_checker.scala

Loading...