Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified "selected" status;
  3. uniform keywords for embedded syntax;
  4. clarified signature;
  5. tuned signature;
  6. clarified signature;
  7. more complete index; adhoc page break;
  8. tuned comments;
  9. parse citations from raw source, without formal context;
  10. tuned signature: fewer warnings in IntelliJ IDEA;
  11. tuned messages;
  12. tuned GUI;
  13. clarified signature;
  14. more efficient, thanks to persistent lazy data in Document.Node;
  15. proper line positions for PIDE document;
  16. tuned;
  17. HOL/Library/BigO is obsolete
  18. merged
  19. tidy up of this messy and obsolete theory
Changeset 77019:a272cf64bd39 by wenzelm:
merged
Changeset 77018:5292286908a4 by wenzelm:
clarified "selected" status;
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 77017:05219e08c3e9 by wenzelm:
uniform keywords for embedded syntax;
The file was modified src/Pure/Thy/bibtex.ML (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 77016:a19ea85409cd by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
Changeset 77015:87552565d1a5 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 77014:9107e103754c by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
The file was modified src/Pure/Tools/update.scala (diff)
Changeset 77013:f016a8d99fc9 by wenzelm:
more complete index;<br>adhoc page break;
The file was modified src/Doc/Isar_Ref/Document_Preparation.thy (diff)
Changeset 77012:2ac1b7f4f3e4 by wenzelm:
tuned comments;
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 77011:3e48f8c6afc9 by wenzelm:
parse citations from raw source, without formal context;
The file was modified src/Pure/General/antiquote.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 77010:fead2b33acdc by wenzelm:
tuned signature: fewer warnings in IntelliJ IDEA;
The file was modified src/Pure/Thy/bibtex.scala (diff)
Changeset 77009:2342b4cc118f by wenzelm:
tuned messages;
The file was modified src/Pure/Tools/update.scala (diff)
Changeset 77008:60b465c4463c by wenzelm:
tuned GUI;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77007:19a7046f90f9 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/bibtex.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
The file was modified src/Pure/library.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_tooltip.scala (diff)
Changeset 77006:d9a4b3a73d8c by wenzelm:
more efficient, thanks to persistent lazy data in Document.Node;
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 77005:86cc9b0e1b13 by wenzelm:
proper line positions for PIDE document;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
Changeset 77004:8ecf99ac5359 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 77003:ab905b5bb206 by paulson _lp15@cam.ac.uk_:
HOL/Library/BigO is obsolete
The file was addedsrc/HOL/ex/BigO.thy
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Library/Set_Algebras.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Library/BigO.thy
Changeset 77002:e2f43d3919c2 by paulson:
merged
Changeset 77001:68f1fc53c8fd by paulson _lp15@cam.ac.uk_:
tidy up of this messy and obsolete theory
The file was modified src/HOL/Library/BigO.thy (diff)