Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. tuned document;
  2. tuned document;
  3. clarified LaTeX style;
  4. support for Springer LLNCS with demo document;
  5. prefer explicit utf8 for old pdflatex;
  6. tuned;
  7. proper chapter (amending 809cd1195795);
  8. merged
  9. tuned (again);
  10. prefer strict operation (see also f29056da5903);
  11. more antiquotations;
  12. tuned;
  13. prefer strict operation;
  14. tuned;
  15. clarified signature;
  16. tuned signature;
  17. tuned signature;
  18. tuned;
  19. tuned;
  20. misc tuning;
  21. clarified options;
  22. tuned;
  23. tuned;
  24. merged
  25. added finite simproc
Changeset 76446:ac19229c9f31 by wenzelm:
tuned document;
The file was modified src/Doc/Demo_Easychair/document/root.tex (diff)
The file was modified src/Doc/Demo_FoilTeX/document/root.tex (diff)
Changeset 76445:4a3a105ecbcc by wenzelm:
tuned document;
The file was modified src/Doc/Demo_LLNCS/document/root.tex (diff)
Changeset 76444:6abbbbebdd69 by wenzelm:
clarified LaTeX style;
The file was modified src/Doc/Demo_Easychair/document/root.tex (diff)
The file was modified src/Doc/Demo_LIPIcs/document/root.tex (diff)
The file was modified src/Doc/Demo_LLNCS/document/root.tex (diff)
Changeset 76443:8dbb0b2f6576 by wenzelm:
support for Springer LLNCS with demo document;
The file was addedsrc/Doc/Demo_LLNCS/Document.thy
The file was addedsrc/Doc/Demo_LLNCS/ROOT
The file was addedsrc/Doc/Demo_LLNCS/document/root.bib
The file was addedsrc/Doc/Demo_LLNCS/document/root.tex
The file was addedsrc/Pure/Admin/build_llncs.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified doc/Contents (diff)
The file was modified etc/build.props (diff)
The file was modified src/Doc/ROOTS (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 76442:3d491d1eeff7 by wenzelm:
prefer explicit utf8 for old pdflatex;
The file was modified src/Doc/Demo_LIPIcs/document/root.tex (diff)
Changeset 76441:721e5b7daa6d by wenzelm:
tuned;
The file was modified src/Doc/Demo_LIPIcs/document/root.tex (diff)
Changeset 76440:d7a3a0a793e2 by wenzelm:
proper chapter (amending 809cd1195795);
The file was modified src/Doc/Demo_Easychair/ROOT (diff)
The file was modified src/Doc/Demo_FoilTeX/ROOT (diff)
The file was modified src/Doc/Demo_LIPIcs/ROOT (diff)
Changeset 76439:d6d4d0697709 by wenzelm:
merged
Changeset 76438:34a10f5dde92 by wenzelm:
tuned (again);
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76437:83cf8073a7bf by wenzelm:
prefer strict operation (see also f29056da5903);
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76436:9e5098cbf81f by wenzelm:
more antiquotations;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76435:0901321dd6b2 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76434:f29056da5903 by wenzelm:
prefer strict operation;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76433:b1ab7bf41d88 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76432:d0079b509d99 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/document_output.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 76431:773844f3273d by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76430:bb96846e27f8 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76429:bd919b794b38 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76428:82bd2cfafe4c by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76427:98bf45a5b508 by wenzelm:
misc tuning;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76426:b7fbe0999c17 by wenzelm:
clarified options;
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 76425:3253a7b2dea2 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76424:ae62064849f0 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76423:6471218877b7 by nipkow:
merged
Changeset 76422:2612b3406b61 by nipkow:
added finite simproc
The file was modified src/HOL/Finite_Set.thy (diff)