Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. clarified output for symbol completion;
  4. tuned;
  5. more uniform syntax_completion + semantic_completion;
  6. clarified modules;
  7. provide information about Isabelle symbols within VSCode;
  8. tuned signature;
Changeset 66058:637b26fd3349 by wenzelm:
merged
Changeset 66057:b8555ca0af07 by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 66056:cf35abfb9ebc by wenzelm:
clarified output for symbol completion;
The file was modified src/Pure/General/completion.scala (diff)
Changeset 66055:07175635f78c by wenzelm:
tuned;
The file was modified src/Pure/General/completion.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
Changeset 66054:fb0eea226a4d by wenzelm:
more uniform syntax_completion + semantic_completion;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
Changeset 66053:cd8d0ad5ac19 by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
Changeset 66052:39eb61b1fa51 by wenzelm:
provide information about Isabelle symbols within VSCode;
The file was addedsrc/Tools/VSCode/extension/src/symbol.ts
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/protocol.ts (diff)
The file was modified src/Tools/VSCode/src/protocol.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 66051:70d3d0818d42 by wenzelm:
tuned signature;
The file was modified src/Pure/General/symbol.scala (diff)