2022-11-06 wenzelm tuned comments;
2022-11-06 wenzelm support for EPTCS style with demo document;
2022-11-06 wenzelm tuned message;
2022-11-06 wenzelm clarified delay -- more reactive;
2022-11-06 wenzelm provide Session.init_time as reference point for diagnostic messages;
2022-11-06 wenzelm afford more reactive consolidation;
2022-11-06 wenzelm minor performance tuning;
2022-11-06 wenzelm tuned;
2022-11-06 wenzelm afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE;
2022-11-06 wenzelm proper executable files for Windows;
2022-11-06 wenzelm further attempts to confine dotnet to $ISABELLE_HOME_USER;
2022-11-06 wenzelm tuned output;
2022-11-06 wenzelm more command-line options;
2022-11-06 wenzelm clarified component settings: always update existing version;
2022-11-05 wenzelm more TODO for release;
2022-11-05 wenzelm disable telemetry;
2022-11-05 wenzelm clarified error;
2022-11-05 wenzelm tuned message, example is in NEWS;
2022-11-05 wenzelm proper default_platform;
2022-11-05 wenzelm tuned NEWS;
2022-11-05 wenzelm tuned message;
2022-11-05 wenzelm support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
2022-11-05 wenzelm tuned signature;
2022-11-05 wenzelm tuned comments;
2022-11-05 wenzelm clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
2022-11-05 wenzelm clarified options: support lualatex as well, but prefer old pdflatex for demos;
2022-11-05 wenzelm more command-line options;
2022-11-05 wenzelm proper URL;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 tip