Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge
  2. Merge
  3. new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
  4. more symbols;
  5. tuned;
  6. store full blob source for the sake of markup_to_XML;
  7. PIDE markup for non-theory nodes;
  8. discontinued 'display_drafts' command;
  9. action "isabelle.draft" for plain-text preview;
  10. NEWS;
  11. uniform preview for Isabelle/jEdit and Isabelle/VSCode;
  12. tuned;
  13. clarified URL: unique node name;
  14. clarified signature;
  15. proper title; clarified modules;
  16. HTML rendering of \<^control> as in Isabelle/jEdit;
  17. auto update;
  18. clarified modules;
  19. proper HTML title;
  20. tuned signature;
Changeset 67270:f18c774acde4 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 67269:42696c5a16ab by paulson _lp15@cam.ac.uk_:
Merge
Changeset 67268:bdf25939a550 by paulson _lp15@cam.ac.uk_:
new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Set_Sum.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 67267:c5994f1fa0fa by wenzelm:
more symbols;
The file was modified src/HOL/Library/positivstellensatz.ML (diff)
Changeset 67266:bf41a57e159f by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 67265:f32287c95432 by wenzelm:
store full blob source for the sake of markup_to_XML;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/VSCode/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67264:16f74b7c248a by wenzelm:
PIDE markup for non-theory nodes;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 67263:449a989f42cd by wenzelm:
discontinued &#039;display_drafts&#039; command;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified NEWS (diff)
The file was modified lib/Tools/latex (diff)
The file was modified src/Doc/Isar_Ref/Document_Preparation.thy (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/Thy/latex.ML (diff)
The file was modified src/Pure/Thy/present.ML (diff)
The file was removedlib/texinputs/draft.tex
Changeset 67262:46540a2ead4b by wenzelm:
action &quot;isabelle.draft&quot; for plain-text preview;
The file was modified NEWS (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67261:bce56b5a35d5 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 67260:ecd607631bc7 by wenzelm:
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67259:e13e8816cf2a by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67258:51b30032cf20 by wenzelm:
clarified URL: unique node name;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67257:5035b6754fca by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/bibtex.scala (diff)
Changeset 67256:ce7d856680d1 by wenzelm:
proper title;<br>clarified modules;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Tools/bibtex.scala (diff)
Changeset 67255:f1f983484878 by wenzelm:
HTML rendering of \&lt;^control&gt; as in Isabelle/jEdit;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/isabelle.css (diff)
The file was modified lib/fonts/Vacuous.sfd (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
Changeset 67254:31dd98471e88 by wenzelm:
auto update;
The file was modified src/Tools/VSCode/extension/package.json (diff)
Changeset 67253:93b4333f33bb by wenzelm:
clarified modules;
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67252:c7f859868b7c by wenzelm:
proper HTML title;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67251:573077aa2826 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Tools/bibtex.scala (diff)