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;
  9. Cleaned up and extended Probability/Tree_Space
  10. HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections
  11. avoid markup, for the sake of Build_Log.Log_File.parse_props;
  12. more robust: store important meta info before potential failure;
  13. tuned message;
  14. merged
  15. more HTML rendering as in Isabelle/jEdit; tuned;
  16. tuned signature;
  17. clarified menu; avoid non-portable ALT-mouse combination;
  18. clarified signature;
  19. HTML preview based on PIDE markup;
  20. explicit foreground color, for the sake of dark theme in VSCode;
  21. tuned layout (amending 8040d2563593);
  22. more official session qualifier;
  23. clarified;
  24. replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace
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)
Changeset 66050:3804a9640088 by eberlm _eberlm@in.tum.de_:
Cleaned up and extended Probability/Tree_Space
The file was modified src/HOL/Probability/Tree_Space.thy (diff)
Changeset 66049:d20d5a3bf6cf by hoelzl:
HOL-Probability: use tree datastructure from Libary/Tree; hide left/right/var projections
The file was modified src/HOL/Probability/Tree_Space.thy (diff)
Changeset 66048:d244a895da50 by wenzelm:
avoid markup, for the sake of Build_Log.Log_File.parse_props;
The file was modified src/Pure/Tools/build.ML (diff)
Changeset 66047:3e8a897042d9 by wenzelm:
more robust: store important meta info before potential failure;
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 66046:37226f74f33a by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 66045:f8c4442bb3a9 by wenzelm:
merged
Changeset 66044:bd7516709051 by wenzelm:
more HTML rendering as in Isabelle/jEdit;<br>tuned;
The file was modified etc/isabelle.css (diff)
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/Thy/html.ML (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66043:f704c063e95d by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66042:98aaeff47795 by wenzelm:
clarified menu;<br>avoid non-portable ALT-mouse combination;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 66041:c49bd8bb4839 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66040:f826ba18fe08 by wenzelm:
HTML preview based on PIDE markup;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/VSCode/src/preview.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 66039:a2b8c3d31037 by wenzelm:
explicit foreground color, for the sake of dark theme in VSCode;
The file was modified etc/isabelle.css (diff)
Changeset 66038:36bf57d6c011 by wenzelm:
tuned layout (amending 8040d2563593);
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 66037:58d2e41afbfe by wenzelm:
more official session qualifier;
The file was modified src/Pure/Thy/present.ML (diff)
The file was modified src/Pure/Tools/thm_deps.ML (diff)
Changeset 66036:b6396880b644 by wenzelm:
clarified;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 66035:de6cd60b1226 by boehmes:
replace non-arithmetic terms by fresh variables before replaying linear-arithmetic proofs: avoid failed proof replays due to an overambitious simpset which may cause proof replay to diverge from the pre-computed proof trace
The file was modified src/HOL/Int.thy (diff)
The file was modified src/HOL/Tools/lin_arith.ML (diff)
The file was modified src/Provers/Arith/fast_lin_arith.ML (diff)