Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. proper edits;
  2. suppress vacuous messages;
  3. clarified modules;
  4. more explicit message type: allows body to become empty;
  5. clarified current_command: index refers to node content, negative index means first command;
  6. clarified caret offset; show output at end of file;
  7. tuned signature;
  8. discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
  9. tuned;
  10. misc tuning and simplification;
  11. misc tuning and simplification;
Changeset 65203:314246c6eeaa by wenzelm:
proper edits;
The file was modified src/Pure/PIDE/line.scala
Changeset 65202:187277b77d50 by wenzelm:
suppress vacuous messages;
The file was modified src/Tools/VSCode/extension/src/extension.ts
Changeset 65201:2d01b30e6ac6 by wenzelm:
clarified modules;
The file was addedsrc/Tools/VSCode/extension/src/protocol.ts
The file was modified src/Tools/VSCode/extension/src/decorations.ts
The file was modified src/Tools/VSCode/extension/src/extension.ts
The file was modified src/Tools/VSCode/src/protocol.scala
Changeset 65200:1227a68fac7a by wenzelm:
more explicit message type: allows body to become empty;
The file was modified src/Tools/VSCode/extension/src/extension.ts
The file was modified src/Tools/VSCode/src/protocol.scala
Changeset 65199:6bd7081f8319 by wenzelm:
clarified current_command: index refers to node content, negative index means first command;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/VSCode/src/dynamic_output.scala
The file was modified src/Tools/jEdit/src/jedit_editor.scala
Changeset 65198:76cef38242d2 by wenzelm:
clarified caret offset;<br>show output at end of file;
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/VSCode/src/dynamic_output.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
Changeset 65197:8fada74d82be by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/line.scala
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/VSCode/src/server.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
Changeset 65196:e8760a98db78 by wenzelm:
discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
The file was modified src/Pure/General/codepoint.scala
The file was modified src/Pure/General/symbol.scala
The file was modified src/Pure/General/utf8.scala
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/line.scala
The file was modified src/Pure/PIDE/text.scala
The file was modified src/Tools/VSCode/src/document_model.scala
The file was modified src/Tools/VSCode/src/server.scala
The file was modified src/Tools/VSCode/src/vscode_rendering.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
The file was modified src/Tools/jEdit/src/document_model.scala
The file was modified src/Tools/jEdit/src/jedit_editor.scala
Changeset 65195:ffab6f460a82 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/query_operation.scala
The file was modified src/Tools/VSCode/src/dynamic_output.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala
Changeset 65194:6dabae94cf57 by wenzelm:
misc tuning and simplification;
The file was modified src/Tools/jEdit/src/output_dockable.scala
Changeset 65193:352d40b389ef by wenzelm:
misc tuning and simplification;
The file was modified src/Tools/VSCode/src/dynamic_output.scala