- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Nov 25 2022
Nov 25 2022
clarified exception: avoid odd compiler warning;
makarius committed rISABELLE80dc20ffd31b: recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;.
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
update to scala-3.2.1;
more standard component build process;
update to jdk-17.0.5 (Oct-2022);
proper treatment of tar.gz double-extension;
proper download, instead of assuming local directory;
more standard component build process;
clarified signature;
clarified signature;
makarius committed rISABELLEbf537a75e872: discontinue unused JCEF: superseded by Electron with its bundled Chromium;.
discontinue unused JCEF: superseded by Electron with its bundled Chromium;
prefer deterministic result;
makarius committed rISABELLE33025e13dcdc: clarified command-line arguments: follow more recent isabelle build_XYZ;.
clarified command-line arguments: follow more recent isabelle build_XYZ;
Nov 21 2022
Nov 21 2022
clarified signature;
clarified signature: more explicit types;
Nov 13 2022
Nov 13 2022
prefer sorted result;
separate style for re-use;
makarius committed rISABELLE2615cf68f6f4: ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;.
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
retain data structures more accurately;
Nov 12 2022
Nov 12 2022
more accurate token types;
proper join without delimiter;
clarified JS namespace;
Nov 11 2022
Nov 11 2022
proper support for Windows;
makarius committed rISABELLEecb9e6d29698: support for the Prism.js syntax highlighter -- via external Node.js process;.
support for the Prism.js syntax highlighter -- via external Node.js process;
support for JavaScript syntax and Node.js platform;
Nov 10 2022
Nov 10 2022
clarified signature: only support nameless separator;
makarius committed rISABELLE15b058bb2416: clarified signature: ensure that entries are well-formed --- no consecutive….
clarified signature: ensure that entries are well-formed --- no consecutive…
Nov 9 2022
Nov 9 2022
makarius committed rISABELLE9686049ce988: more robust selection: avoid duplicates via "batch" number;.
more robust selection: avoid duplicates via "batch" number;
makarius committed rISABELLEe228be7cd375: clarified GUI.Selector, with support for separator as pseudo-entry;.
clarified GUI.Selector, with support for separator as pseudo-entry;
clarified GUI state;
clarified file names;
makarius committed rISABELLE8c9830109ab2: clarified Log_Progress vs. GUI: more like Syslog_Dockable;.
clarified Log_Progress vs. GUI: more like Syslog_Dockable;
clarified signature: more public operations;
tuned signature, following hints by IntelliJ IDEA;
Nov 7 2022
Nov 7 2022
makarius committed rISABELLE49acf5dd58ce: suppress document_required GUI element for now: still unused;.
suppress document_required GUI element for now: still unused;
makarius committed rISABELLEa9d52d02bd83: clarified node_required status: distinguish theory_required vs..
clarified node_required status: distinguish theory_required vs.
Nov 6 2022
Nov 6 2022
support for EPTCS style with demo document;
clarified delay -- more reactive;
makarius committed rISABELLE5c7652e9bc01: provide Session.init_time as reference point for diagnostic messages;.
provide Session.init_time as reference point for diagnostic messages;
afford more reactive consolidation;
minor performance tuning;
makarius committed rISABELLE1f0b2d7298d9: afford unconditional presentation, notably export_theory and present_thy….
afford unconditional presentation, notably export_theory and present_thy…
proper executable files for Windows;
makarius committed rISABELLE98cfe33db5a7: further attempts to confine dotnet to $ISABELLE_HOME_USER;.
further attempts to confine dotnet to $ISABELLE_HOME_USER;
makarius committed rISABELLE730dadb82936: clarified component settings: always update existing version;.
clarified component settings: always update existing version;
more command-line options;
more TODO for release;
Nov 5 2022
Nov 5 2022
proper default_platform;
tuned message, example is in NEWS;
makarius committed rISABELLEcc6fd1695294: support for Dotnet / Fsharp platform, via dynamically installed Isabelle….
support for Dotnet / Fsharp platform, via dynamically installed Isabelle…
makarius committed rISABELLE74c3ecfeb3ea: clarified description, to fit better to e.g. "isabelle build_doc -a -V system….
clarified description, to fit better to e.g. "isabelle build_doc -a -V system…
makarius committed rISABELLEf2d17e69e520: clarified options: support lualatex as well, but prefer old pdflatex for demos;.
clarified options: support lualatex as well, but prefer old pdflatex for demos;
more command-line options;
makarius committed rISABELLE107d8203fbd7: clarified signature: allow to change options in instances of Document_Build..
clarified signature: allow to change options in instances of Document_Build.
makarius committed rISABELLE87cd8506e000: document_build engine for "lipics", with options and document_files;.
document_build engine for "lipics", with options and document_files;
makarius committed rISABELLE7b2dbd093ca2: clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although….
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although…
Nov 4 2022
Nov 4 2022
clarified LaTeX style;
support for Springer LLNCS with demo document;
prefer explicit utf8 for old pdflatex;
proper chapter (amending 809cd1195795);
more antiquotations;
prefer strict operation (see also f29056da5903);
prefer strict operation;
clarified signature;
Nov 3 2022
Nov 3 2022
clarified signature, following Isabelle/f362975e8ba1;
proper naming conventions for Isabelle/ML;