Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. added spell-checker completion;
  3. clarified modules;
  4. tuned;
  5. clarified modules;
  6. tuned signature; clarified modules;
  7. clarified modules;
  8. tuned;
  9. clarified signature;
  10. Repaired an inadvertent reordering of the premises of two theorems
  11. New theorems; stronger theorems; tidier theorems. Also some renaming
Changeset 66122:ea7c2a245b84 by wenzelm:
merged
Changeset 66121:070f2be51330 by wenzelm:
added spell-checker completion;
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 66120:e03ff7e831cc by wenzelm:
clarified modules;
The file was addedsrc/Tools/jEdit/src/jedit_bibtex.scala
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/context_menu.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/services.xml (diff)
The file was removedsrc/Tools/jEdit/src/bibtex_jedit.scala
Changeset 66119:0b257d7d81a5 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala (diff)
Changeset 66118:03dd799fe042 by wenzelm:
clarified modules;
The file was modified src/Pure/Tools/bibtex.scala (diff)
The file was modified src/Tools/jEdit/src/bibtex_jedit.scala (diff)
Changeset 66117:e6f808d1307c by wenzelm:
tuned signature;<br>clarified modules;
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/bibtex_jedit.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala (diff)
Changeset 66116:dad409cd3423 by wenzelm:
clarified modules;
The file was modified src/Pure/Tools/spell_checker.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_spell_checker.scala (diff)
Changeset 66115:135bf45026ea by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/bibtex_jedit.scala (diff)
Changeset 66114:c137a9f038a6 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/PIDE/text.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.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)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_view.scala (diff)
The file was modified src/Tools/jEdit/src/graphview_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_text_area.scala (diff)
Changeset 66113:571b698659c0 by paulson _lp15@cam.ac.uk_:
Repaired an inadvertent reordering of the premises of two theorems
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
Changeset 66112:0e640e04fc56 by paulson _lp15@cam.ac.uk_:
New theorems; stronger theorems; tidier theorems. Also some renaming
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)