Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplified proofs
  2. updated for release;
  3. updated for release;
  4. merged
  5. updated for release;
  6. updated version;
  7. obsolete;
  8. less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
  9. misc tuning and clarification;
  10. obsolete;
  11. proper message passing -- discontinued obsolete auxiliary commands;
  12. clarified Panel; discontinued intermediate Content_Provider;
  13. removed duplicate (amending 5763d9a2f47d, 5aa9cb83e70e);
  14. update to WebviewPanel API, following initial version by Peter Zeller;
  15. Moved a number of general-purpose lemmas into HOL
Changeset 71486:0e1b9b308d8f by nipkow:
simplified proofs
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)
Changeset 71485:29e297fd5473 by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 71484:bb82dd4d19f6 by wenzelm:
updated for release;
The file was modified NEWS (diff)
Changeset 71483:6de04d21c26b by wenzelm:
merged
Changeset 71482:aa7b0a5e9fe3 by wenzelm:
updated for release;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 71481:ea6adb18730d by wenzelm:
updated version;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 71480:bb1c829534ba by wenzelm:
obsolete;
The file was removedsrc/Tools/VSCode/extension/src/content_provider.ts
Changeset 71479:6aa2dc263912 by wenzelm:
less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview_panel.ts (diff)
Changeset 71478:5c0293826dc8 by wenzelm:
misc tuning and clarification;
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
Changeset 71477:24e3adaee6ec by wenzelm:
obsolete;
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
Changeset 71476:ecefde4f9103 by wenzelm:
proper message passing -- discontinued obsolete auxiliary commands;
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
The file was modified src/Tools/VSCode/src/state_panel.scala (diff)
The file was removedsrc/Tools/VSCode/src/vscode_javascript.scala
Changeset 71475:7a867a38712a by wenzelm:
clarified Panel;<br>discontinued intermediate Content_Provider;
The file was modified src/Tools/VSCode/extension/src/extension.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
Changeset 71474:fe1b19bf5fef by wenzelm:
removed duplicate (amending 5763d9a2f47d, 5aa9cb83e70e);
The file was removedsrc/Tools/VSCode/extension/src/preview.ts
Changeset 71473:be84312a2d53 by wenzelm:
update to WebviewPanel API, following initial version by Peter Zeller;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/extension/src/preview.ts (diff)
The file was modified src/Tools/VSCode/extension/src/preview_panel.ts (diff)
The file was modified src/Tools/VSCode/extension/src/state_panel.ts (diff)
Changeset 71472:c213d067e60f by paulson _lp15@cam.ac.uk_:
Moved a number of general-purpose lemmas into HOL
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Library/Ramsey.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/ex/Erdoes_Szekeres.thy (diff)