Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified output;
  3. more tooltips;
  4. clarified imports;
  5. update strictly local imports only;
  6. proper imports_base;
  7. tuned;
  8. avoid redundant Preview documents;
  9. HOL-Probability: add measurable space for trees
Changeset 66034:ded1c636aece by wenzelm:
merged
Changeset 66033:e4a8e1e20d45 by wenzelm:
clarified output;
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66032:fd8a65b026f1 by wenzelm:
more tooltips;
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)
Changeset 66031:94cfcae2b228 by wenzelm:
clarified imports;
The file was modified src/HOL/ROOT (diff)
Changeset 66030:f551ab947569 by wenzelm:
update strictly local imports only;
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66029:063f13f10433 by wenzelm:
proper imports_base;
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66028:14c014a43278 by wenzelm:
tuned;
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 66027:396785562768 by wenzelm:
avoid redundant Preview documents;
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
Changeset 66026:704e4970d703 by hoelzl:
HOL-Probability: add measurable space for trees
The file was addedsrc/HOL/Probability/Tree_Space.thy
The file was modified src/HOL/Probability/Probability.thy (diff)