Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. eliminated odd Unicode blanks;
  2. tuned whitespace;
  3. eliminated DOS line endings;
  4. eliminated tabs, assuming tab-width=8;
  5. eliminated tabs, assuming tab-width=4;
  6. updated to current Cygwin, near 3.3.5-1;
  7. test macOS 12 Monterey via laramac01;
  8. clarified GUI update;
  9. clarified signature;
  10. tuned signature;
  11. more GUI functionality;
  12. clarified signature;
  13. clarified component structure, concerning initialization order;
Changeset 76033:97b6daab0233 by wenzelm:
eliminated odd Unicode blanks;
The file was modified src/HOL/Deriv.thy (diff)
Changeset 76032:c2812ca1a455 by wenzelm:
tuned whitespace;
The file was modified src/HOL/Library/NList.thy (diff)
Changeset 76031:42e3c5f9e4c6 by wenzelm:
eliminated DOS line endings;
The file was modified src/HOL/Library/NList.thy (diff)
Changeset 76030:39eae8f9dab4 by wenzelm:
eliminated tabs, assuming tab-width=8;
The file was modified src/HOL/SMT_Examples/SMT_Examples_Verit.thy (diff)
Changeset 76029:5f94db3a7e25 by wenzelm:
eliminated tabs, assuming tab-width=4;
The file was modified src/HOL/Euclidean_Division.thy (diff)
Changeset 76028:105867f98630 by wenzelm:
updated to current Cygwin, near 3.3.5-1;
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/components/PLATFORMS (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 76027:00afd2c233c0 by wenzelm:
test macOS 12 Monterey via laramac01;
The file was modified Admin/components/PLATFORMS (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 76026:614a8feea80c by wenzelm:
clarified GUI update;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76025:2ba535c2d2d8 by wenzelm:
clarified signature;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76024:dc1a950183a4 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76023:c7fed2fd52f5 by wenzelm:
more GUI functionality;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 76022:6ce62e4e7dc0 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/query_operation.scala (diff)
The file was modified src/Pure/Tools/debugger.scala (diff)
Changeset 76021:752425c69577 by wenzelm:
clarified component structure, concerning initialization order;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)