Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#971
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
more completion;
tuned signature;
tuned signature;
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)