Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper PIDE session background for interactive document context;
  2. NEWS;
  3. more accurate error messages;
  4. merged
  5. actually build document; clarified signature;
  6. tuned signature;
  7. tuned comments;
  8. clarified signature;
  9. clarified signature;
  10. tuned;
  11. clarified GUI;
  12. more thorough GUI updates, notably for multiple Document dockables;
  13. Additional new material about infinite products, etc.
Changeset 76736:f6ecd23c83cd by wenzelm:
proper PIDE session background for interactive document context;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76735:e8ad377e1184 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 76734:b4a9c907e062 by wenzelm:
more accurate error messages;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76733:6a9bc04fd182 by wenzelm:
merged
Changeset 76732:0ba6f360d38a by wenzelm:
actually build document;<br>clarified signature;
The file was modified src/Pure/PIDE/document_editor.scala (diff)
The file was modified src/Pure/PIDE/editor.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76731:872fc664cd99 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76730:1b8dd8c0492f by wenzelm:
tuned comments;
The file was modified src/Pure/PIDE/document_editor.scala (diff)
Changeset 76729:b045b40a65cc by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76728:421137ff146a by wenzelm:
clarified signature;
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 76727:6d95e8a636e2 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76726:c83dfd565283 by wenzelm:
clarified GUI;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 76725:c8d5cc19270a by wenzelm:
more thorough GUI updates, notably for multiple Document dockables;
The file was modified src/Pure/PIDE/editor.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76724:7ff71bdcf731 by paulson _lp15@cam.ac.uk_:
Additional new material about infinite products, etc.
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Elementary_Normed_Spaces.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)
The file was modified src/HOL/Analysis/Uniform_Limit.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)