Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned granularity of parallel tasks;
  3. more completion;
  4. clarified modules;
  5. tuned signature;
  6. added -d option to Mirabelle
  7. stripped code pre/postprocessor setup for real from superfluous rules
  8. Tidying up integration theory and some new theorems
  9. more completion;
  10. tuned signature;
  11. tuned signature;
  12. tuned signature;
Changeset 66161:c6e9c7d140ff by wenzelm:
merged
Changeset 66160:33f759742887 by wenzelm:
tuned granularity of parallel tasks;
The file was modified etc/options (diff)
Changeset 66159:907720561c82 by wenzelm:
more completion;
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 66158:ad83d4971dfe by wenzelm:
clarified modules;
The file was modified etc/options (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
Changeset 66157:cb57fcdbaf70 by wenzelm:
tuned signature;
The file was modified src/Pure/General/completion.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 66156:f54c32c413a9 by blanchet:
added -d option to Mirabelle
The file was modified src/HOL/Mirabelle/lib/Tools/mirabelle (diff)
The file was modified src/HOL/Mirabelle/lib/scripts/mirabelle.pl (diff)
Changeset 66155:2463cba9f18f by haftmann:
stripped code pre/postprocessor setup for real from superfluous rules
The file was modified src/HOL/Real.thy (diff)
Changeset 66154:bc5e6461f759 by paulson _lp15@cam.ac.uk_:
Tidying up integration theory and some new theorems
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Euclidean_Space.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/Archimedean_Field.thy (diff)
Changeset 66153:236339f97a88 by wenzelm:
more completion;
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
Changeset 66152:18e1aba549f6 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/bibtex.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_rendering.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.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/jedit_bibtex.scala (diff)
Changeset 66151:26eecd42cbc5 by wenzelm:
tuned signature;
The file was modified src/Pure/General/completion.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 66150:c2e19b9e1398 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Tools/bibtex.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/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_bibtex.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)