Changes

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

Summary

  1. merged
  2. more GUI elements;
  3. clarified signature;
  4. tuned;
  5. tuned, following hints by IntelliJ IDEA;
  6. clarified signature --- more operations;
  7. clarified signature --- simplified types;
  8. tuned signature;
  9. proper toString for Content_XML, which is not covered by trait Content;
  10. clarified output;
  11. clarified signature: support different document_session, e.g. within running PIDE session;
  12. unused (despite cf52379c0776);
  13. tuned, following hints by IntelliJ IDEA;
  14. unused (see 696819fe2424);
  15. clarified signature;
  16. basic setup for document build panel;
  17. tuned, following hints by IntelliJ IDEA;
  18. tuned, following hints by IntelliJ IDEA;
  19. tuned;
  20. clarified signature;
  21. tuned, following hints by IntelliJ IDEA;
  22. tuned, following hints by IntelliJ IDEA;
  23. tuned signature;
  24. tuned signature;
  25. tuned signature, following hints by IntelliJ IDEA;
Changeset 75831:96e66ba48052 by wenzelm:
merged
Changeset 75830:b054f22efd0d by wenzelm:
more GUI elements;
The file was modifiedsrc/Tools/jEdit/src/document_dockable.scala
Changeset 75829:b8a4f9b1eed6 by wenzelm:
clarified signature;
The file was modifiedsrc/Tools/jEdit/src/isabelle_options.scala
The file was modifiedsrc/Tools/jEdit/src/jedit_sessions.scala
The file was modifiedsrc/Tools/jEdit/src/theories_dockable.scala
Changeset 75828:298707451ec2 by wenzelm:
tuned;
The file was modifiedsrc/Tools/jEdit/src/jedit_sessions.scala
Changeset 75827:4920ebbde486 by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modifiedsrc/Tools/jEdit/src/jedit_options.scala
Changeset 75826:d298da61655a by wenzelm:
clarified signature --- more operations;
The file was modifiedsrc/Pure/Thy/document_build.scala
Changeset 75825:ad00fbf64bff by wenzelm:
clarified signature --- simplified types;
The file was modifiedsrc/Pure/General/file.scala
The file was modifiedsrc/Pure/System/classpath.scala
The file was modifiedsrc/Pure/Thy/document_build.scala
The file was modifiedsrc/Pure/Thy/export.scala
Changeset 75824:a2b2e8964e1a by wenzelm:
tuned signature;
The file was modifiedsrc/Pure/General/file.scala
The file was modifiedsrc/Pure/General/mercurial.scala
The file was modifiedsrc/Pure/Thy/document_build.scala
The file was modifiedsrc/Pure/Thy/export.scala
The file was modifiedsrc/Pure/Thy/latex.scala
The file was modifiedsrc/Pure/Tools/sync.scala
The file was modifiedsrc/Tools/VSCode/src/build_vscodium.scala
Changeset 75823:6eb8d6cdb686 by wenzelm:
proper toString for Content_XML, which is not covered by trait Content;
The file was modifiedsrc/Pure/General/file.scala
Changeset 75822:0a14663dffcc by wenzelm:
clarified output;
The file was modifiedsrc/Pure/Thy/document_build.scala
Changeset 75821:affd69bad2d4 by wenzelm:
clarified signature: support different document_session, e.g. within running PIDE session;
The file was modifiedsrc/Pure/Thy/document_build.scala
Changeset 75820:d06cae2b407a by wenzelm:
unused (despite cf52379c0776);
The file was modifiedsrc/Pure/PIDE/document.scala
Changeset 75819:9f7abd148545 by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modifiedsrc/Pure/PIDE/document.scala
Changeset 75818:e71fbea76bd9 by wenzelm:
unused (see 696819fe2424);
The file was modifiedsrc/Pure/PIDE/document.scala
Changeset 75817:b702a015fb22 by wenzelm:
clarified signature;
The file was modifiedsrc/Tools/jEdit/src/isabelle_session.scala
The file was modifiedsrc/Tools/jEdit/src/jedit_sessions.scala
Changeset 75816:91f02f224b80 by wenzelm:
basic setup for document build panel;
The file was addedsrc/Tools/jEdit/src/document_dockable.scala
The file was modifiedetc/build.props
The file was modifiedsrc/Tools/jEdit/jedit_main/dockables.scala
The file was modifiedsrc/Tools/jEdit/jedit_main/dockables.xml
The file was modifiedsrc/Tools/jEdit/jedit_main/plugin.props
The file was modifiedsrc/Tools/jEdit/src/isabelle.scala
Changeset 75815:4001a6ceb802 by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modifiedsrc/Tools/jEdit/src/sledgehammer_dockable.scala
Changeset 75814:15951587f171 by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modifiedsrc/Tools/jEdit/src/debugger_dockable.scala
Changeset 75813:bb8369922d3c by wenzelm:
tuned;
The file was modifiedsrc/Tools/jEdit/src/info_dockable.scala
Changeset 75812:d6e8d12494be by wenzelm:
clarified signature;
The file was modifiedsrc/Tools/jEdit/src/debugger_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/info_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/output_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/pretty_text_area.scala
The file was modifiedsrc/Tools/jEdit/src/query_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/simplifier_trace_window.scala
The file was modifiedsrc/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/state_dockable.scala
Changeset 75811:74d6d09e1a36 by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modifiedsrc/Tools/jEdit/src/process_indicator.scala
Changeset 75810:51867c8ad109 by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modifiedsrc/Tools/Graphview/graph_panel.scala
The file was modifiedsrc/Tools/jEdit/src/debugger_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/info_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/output_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/query_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/simplifier_trace_window.scala
The file was modifiedsrc/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/state_dockable.scala
Changeset 75809:1dd5d4f4b69e by wenzelm:
tuned signature;
The file was modifiedsrc/Pure/GUI/gui.scala
The file was modifiedsrc/Tools/Graphview/graph_panel.scala
The file was modifiedsrc/Tools/jEdit/src/debugger_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/info_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/output_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/query_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/simplifier_trace_window.scala
The file was modifiedsrc/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/state_dockable.scala
Changeset 75808:f1a89044a712 by wenzelm:
tuned signature;
The file was modifiedsrc/Tools/jEdit/src/pretty_text_area.scala
Changeset 75807:b0394e7d43ea by wenzelm:
tuned signature, following hints by IntelliJ IDEA;
The file was modifiedsrc/Tools/Graphview/tree_panel.scala
The file was modifiedsrc/Tools/jEdit/src/completion_popup.scala
The file was modifiedsrc/Tools/jEdit/src/document_view.scala
The file was modifiedsrc/Tools/jEdit/src/documentation_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/pretty_text_area.scala
The file was modifiedsrc/Tools/jEdit/src/query_dockable.scala