Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned comments;
  2. tuned signature;
  3. clarified signature;
  4. clarified signature;
  5. clarified signature;
  6. unused;
  7. clarified modules;
  8. clarified signature;
  9. clarified signature: more explicit types;
  10. clarified signature --- avoid dependent types;
  11. tuned whitespace;
  12. clarified signature: avoid public representation;
  13. tuned signature;
  14. clarified signature;
  15. unused;
  16. more accurate treatment of option "editor_output_state", e.g. when changed via Isabelle/jEdit Plugin Options panel;
  17. clarified signature: more explicit types; more robust zoom.factor: work with uninitialized GUI components;
  18. tuned whitespace;
  19. tuned, following 298707451ec2; tuned signature;
  20. unused;
  21. tuned, following hints by IntelliJ IDEA;
  22. clarified signature: more explicit types; tuned whitespace;
  23. tuned whitespace;
  24. tuned, following hints by IntelliJ IDEA;
Changeset 75855:9ce4cb8e3f77 by wenzelm:
tuned comments;
The file was modified src/Tools/jEdit/src/jedit_options.scala
Changeset 75854:2163772eeaf2 by wenzelm:
tuned signature;
The file was modified src/Pure/GUI/gui.scala
The file was modified src/Tools/jEdit/src/debugger_dockable.scala
The file was modified src/Tools/jEdit/src/jedit_options.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/query_dockable.scala
The file was modified src/Tools/jEdit/src/session_build.scala
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modified src/Tools/jEdit/src/state_dockable.scala
Changeset 75853:f981111768ec by wenzelm:
clarified signature;
The file was modified src/Pure/GUI/gui.scala
The file was modified src/Tools/jEdit/src/debugger_dockable.scala
The file was modified src/Tools/jEdit/src/document_dockable.scala
The file was modified src/Tools/jEdit/src/monitor_dockable.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/query_dockable.scala
The file was modified src/Tools/jEdit/src/session_build.scala
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modified src/Tools/jEdit/src/state_dockable.scala
The file was modified src/Tools/jEdit/src/theories_dockable.scala
Changeset 75852:fcc25bb49def by wenzelm:
clarified signature;
The file was modified src/Pure/GUI/gui.scala
The file was modified src/Tools/Graphview/tree_panel.scala
The file was modified src/Tools/jEdit/src/debugger_dockable.scala
The file was modified src/Tools/jEdit/src/isabelle.scala
The file was modified src/Tools/jEdit/src/jedit_options.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/query_dockable.scala
The file was modified src/Tools/jEdit/src/session_build.scala
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala
The file was modified src/Tools/jEdit/src/simplifier_trace_window.scala
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modified src/Tools/jEdit/src/state_dockable.scala
Changeset 75851:56f3032f0747 by wenzelm:
clarified signature;
The file was modified src/Tools/jEdit/src/jedit_options.scala
Changeset 75850:4cd3036e1b82 by wenzelm:
unused;
The file was modified src/Tools/jEdit/src/isabelle.scala
Changeset 75849:dfedac6525d4 by wenzelm:
clarified modules;
The file was modified src/Tools/jEdit/src/document_model.scala
The file was modified src/Tools/jEdit/src/isabelle.scala
The file was modified src/Tools/jEdit/src/jedit_options.scala
The file was modified src/Tools/jEdit/src/main_plugin.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/theories_dockable.scala
Changeset 75848:9e4c0aaa30aa by wenzelm:
clarified signature;
The file was modified src/Tools/jEdit/src/isabelle.scala
The file was modified src/Tools/jEdit/src/jedit_options.scala
The file was modified src/Tools/jEdit/src/main_plugin.scala
Changeset 75847:93436389db1c by wenzelm:
clarified signature: more explicit types;
The file was modified src/Pure/System/options.scala
The file was modified src/Tools/jEdit/src/document_model.scala
The file was modified src/Tools/jEdit/src/isabelle.scala
The file was modified src/Tools/jEdit/src/jedit_options.scala
The file was modified src/Tools/jEdit/src/main_plugin.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/theories_dockable.scala
Changeset 75846:d9926523855e by wenzelm:
clarified signature --- avoid dependent types;
The file was modified src/Pure/System/options.scala
Changeset 75845:cd35ce621ef9 by wenzelm:
tuned whitespace;
The file was modified src/Pure/System/options.scala
Changeset 75844:7d27944d7141 by wenzelm:
clarified signature: avoid public representation;
The file was modified src/Pure/System/components.scala
The file was modified src/Pure/System/options.scala
The file was modified src/Tools/jEdit/src/isabelle_options.scala
Changeset 75843:d750ead045a1 by wenzelm:
tuned signature;
The file was modified src/Pure/System/options.scala
Changeset 75842:a8c401312f9d by wenzelm:
clarified signature;
The file was modified src/Pure/System/options.scala
Changeset 75841:7c00d5266bf8 by wenzelm:
unused;
The file was modified src/Tools/jEdit/src/jedit_options.scala
Changeset 75840:f8c412a45af8 by wenzelm:
more accurate treatment of option "editor_output_state", e.g. when changed via Isabelle/jEdit Plugin Options panel;
The file was modified src/Pure/PIDE/rendering.scala
The file was modified src/Tools/VSCode/src/dynamic_output.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
Changeset 75839:29441f2bfe81 by wenzelm:
clarified signature: more explicit types;<br>more robust zoom.factor: work with uninitialized GUI components;
The file was modified src/Pure/GUI/gui.scala
The file was modified src/Tools/Graphview/graph_panel.scala
The file was modified src/Tools/jEdit/src/debugger_dockable.scala
The file was modified src/Tools/jEdit/src/document_dockable.scala
The file was modified src/Tools/jEdit/src/font_info.scala
The file was modified src/Tools/jEdit/src/info_dockable.scala
The file was modified src/Tools/jEdit/src/jedit_sessions.scala
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala
The file was modified src/Tools/jEdit/src/monitor_dockable.scala
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/pretty_text_area.scala
The file was modified src/Tools/jEdit/src/query_dockable.scala
The file was modified src/Tools/jEdit/src/simplifier_trace_window.scala
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modified src/Tools/jEdit/src/state_dockable.scala
Changeset 75838:7f6803788de3 by wenzelm:
tuned whitespace;
The file was modified src/Tools/jEdit/src/monitor_dockable.scala
Changeset 75837:93a704c52061 by wenzelm:
tuned, following 298707451ec2;<br>tuned signature;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala
Changeset 75836:0855dc42b535 by wenzelm:
unused;
The file was modified src/Tools/jEdit/src/query_dockable.scala
Changeset 75835:5c53e24d3dc2 by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modified src/Tools/jEdit/src/theories_dockable.scala
Changeset 75834:afa35ed14c71 by wenzelm:
clarified signature: more explicit types;<br>tuned whitespace;
The file was modified src/Tools/jEdit/src/theories_dockable.scala
Changeset 75833:8ffbd9343e91 by wenzelm:
tuned whitespace;
The file was modified src/Tools/jEdit/src/output_dockable.scala
The file was modified src/Tools/jEdit/src/simplifier_trace_dockable.scala
Changeset 75832:1c0407b900db by wenzelm:
tuned, following hints by IntelliJ IDEA;
The file was modified src/Tools/jEdit/src/isabelle.scala

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Update metadata and root.tex to mention the addition of ZFC_SetCat in early 2022.
  2. Sync with my development repo: Category3: add various rules for limits. RTS: strengthen definition of transformation.
Changeset 12912:7dacd5f58334 by Eugene W. Stark _stark@cs.stonybrook.edu_:
Update metadata and root.tex to mention the addition of ZFC_SetCat in early 2022.
The file was modified metadata/entries/Category3.toml
The file was modified thys/Category3/document/root.tex
Changeset 12911:8190a9ebc716 by Eugene W. Stark _stark@cs.stonybrook.edu_:
Sync with my development repo:&nbsp; Category3: add various rules for limits.&nbsp; RTS: strengthen definition of transformation.
The file was modified thys/Category3/CartesianCategory.thy
The file was modified thys/Category3/CategoryWithPullbacks.thy
The file was modified thys/Category3/Limit.thy
The file was modified thys/MonoidalCategory/CartesianMonoidalCategory.thy
The file was modified thys/ResiduatedTransitionSystem/LambdaCalculus.thy
The file was modified thys/ResiduatedTransitionSystem/ResiduatedTransitionSystem.thy