Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more completion;
  2. tuned signature;
  3. tuned signature;
  4. tuned signature;
Changeset 66153:236339f97a88 by wenzelm:
more completion;
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 66152:18e1aba549f6 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/bibtex.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/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_bibtex.scala (diff)
Changeset 66151:26eecd42cbc5 by wenzelm:
tuned signature;
The file was modified src/Pure/General/completion.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 66150:c2e19b9e1398 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Tools/bibtex.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.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/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_bibtex.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)