Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more TODO for release;
  2. disable telemetry;
  3. clarified error;
  4. tuned message, example is in NEWS;
  5. proper default_platform;
  6. tuned NEWS;
  7. tuned message;
  8. support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
  9. tuned signature;
  10. tuned comments;
  11. clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
  12. clarified options: support lualatex as well, but prefer old pdflatex for demos;
  13. more command-line options;
  14. proper URL;
  15. document_build engine for "lipics", with options and document_files;
  16. clarified signature: allow to change options in instances of Document_Build.Engine;
  17. tuned signature;
  18. clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;
  19. Better use the finite simproc selectively only
Changeset 76465:2b19c70c44c2 by wenzelm:
more TODO for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 76464:18c50ff16bbc by wenzelm:
disable telemetry;
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
Changeset 76463:da85bffef443 by wenzelm:
clarified error;
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
Changeset 76462:66a827cf863e by wenzelm:
tuned message, example is in NEWS;
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
Changeset 76461:0869eacad310 by wenzelm:
proper default_platform;
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
Changeset 76460:fbe0fedd8a61 by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)
Changeset 76459:2829aae7408a by wenzelm:
tuned message;
The file was modified lib/Tools/dotnet (diff)
Changeset 76458:cc6fd1695294 by wenzelm:
support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
The file was addedlib/Tools/dotnet
The file was addedsrc/Pure/Tools/dotnet_setup.scala
The file was modified NEWS (diff)
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 76457:badbae70c51a by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_zstd.scala (diff)
Changeset 76456:8dbda1b611e9 by wenzelm:
tuned comments;
The file was modified src/Doc/Demo_Easychair/ROOT (diff)
The file was modified src/Doc/Demo_FoilTeX/ROOT (diff)
Changeset 76455:74c3ecfeb3ea by wenzelm:
clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
The file was modified src/Pure/Admin/build_doc.scala (diff)
Changeset 76454:f2d17e69e520 by wenzelm:
clarified options: support lualatex as well, but prefer old pdflatex for demos;
The file was modified etc/build.props (diff)
The file was modified src/Doc/Demo_LIPIcs/ROOT (diff)
The file was modified src/Doc/Demo_LLNCS/ROOT (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76453:2ba80c2fc325 by wenzelm:
more command-line options;
The file was modified src/Pure/Admin/build_doc.scala (diff)
Changeset 76452:220f6f377d52 by wenzelm:
proper URL;
The file was modified src/Doc/Demo_LIPIcs/document/root.tex (diff)
Changeset 76451:87cd8506e000 by wenzelm:
document_build engine for "lipics", with options and document_files;
The file was modified etc/build.props (diff)
The file was modified src/Doc/Demo_LIPIcs/ROOT (diff)
The file was modified src/Pure/Admin/build_lipics.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76450:107d8203fbd7 by wenzelm:
clarified signature: allow to change options in instances of Document_Build.Engine;
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
Changeset 76449:739edaad4f42 by wenzelm:
tuned signature;
The file was modified src/Tools/Graphview/graph_file.scala (diff)
Changeset 76448:7b2dbd093ca2 by wenzelm:
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;
The file was modified src/Doc/Demo_LLNCS/ROOT (diff)
Changeset 76447:391b8db24c66 by nipkow:
Better use the finite simproc selectively only
The file was modified src/HOL/Finite_Set.thy (diff)