- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Apr 17 2021
Apr 17 2021
clarified options (again);
more options: update ISABELLE_IDENTIFIER;
clarified conditional ML;
support for conditional ML text;
Apr 16 2021
Apr 16 2021
clarified options;
Apr 14 2021
Apr 14 2021
makarius committed rISABELLEdabe295c3f62: proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);.
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
eliminated perl: prefer elementary GNU printenv;
more self-contained support for macOS;
more robust bootstrap of components;
Apr 13 2021
Apr 13 2021
misc tuning and clarification;
Apr 12 2021
Apr 12 2021
support for base64 via Isabelle/Scala/ML;
clarified signature (again);
makarius committed rISABELLE12b3f78dde61: clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);.
clarified signature: avoid overlap of String vs. Bytes (both are CharSequence);
clarified signature;
makarius committed rISABELLEbdba138d462d: clarified signature: more structured arguments, notably for remote provers;.
clarified signature: more structured arguments, notably for remote provers;
clarified signature;
makarius committed rISABELLEa021bb558feb: clarified message output: flush already happens in write_message_yxml (see….
clarified message output: flush already happens in write_message_yxml (see…
clarified signature for Scala functions;
clarified signature: avoid tmp file;
clarified exceptions;
makarius committed rISABELLEc83152933579: clarified signature: Bytes extends CharSequence already (see d201996f72a8);.
clarified signature: Bytes extends CharSequence already (see d201996f72a8);
more uniform use of Byte_Message;
makarius committed rISABELLE192bcee4f8b8: more robust treatment of empty markup: it allows to produce formal chunks;.
more robust treatment of empty markup: it allows to produce formal chunks;
Apr 10 2021
Apr 10 2021
more documentation;
proper treatment of nested antiquotations;
makarius committed rISABELLE2f6855142a8c: support for ML special forms: modified evaluation similar to Scheme;.
support for ML special forms: modified evaluation similar to Scheme;
makarius committed rISABELLEa2c589d5e1e4: clarified signature: more detailed token positions for antiquotations;.
clarified signature: more detailed token positions for antiquotations;
Apr 8 2021
Apr 8 2021
clarified message, following Isabelle/a7aabdf889b7;
clarified signature;
Apr 7 2021
Apr 7 2021
some tinkering with npm versions;
some tinkering with npm versions;
back to post-release mode;
auto-update due to "isabelle build_vscode";
tuned --- following hints by IntelliJ IDEA;
Apr 5 2021
Apr 5 2021
makarius committed rISABELLEe7fb17bca374: discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog….
discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog…
makarius committed rISABELLE543d5539306d: following recent Phabricator update, after 2021 Week 13 (Late March);.
following recent Phabricator update, after 2021 Week 13 (Late March);
Apr 1 2021
Apr 1 2021
more standard header, with utf-8 encoding;
makarius committed rISABELLEc337c798f64c: clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;.
clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources;
Mar 31 2021
Mar 31 2021
clarified signature;
clarified: follow "isabelle version -t";
makarius committed rISABELLE2cd23d587db9: further clarification of Isabelle distribution identification -- avoid odd….
further clarification of Isabelle distribution identification -- avoid odd…
more robust and uniform ISABELLE_TAGS;
tuned signature -- more explicit types;
makarius committed rISABELLE8f485a199874: simplified release status (again), in contrast to a43898f76ae9;.
simplified release status (again), in contrast to a43898f76ae9;
makarius committed rISABELLE4cba4e250c28: clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;.
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
more uniform HTTP resources;
makarius committed rISABELLEd3f2038198ae: clarified (again): local tip could be actually more recent;.
clarified (again): local tip could be actually more recent;
makarius committed rISABELLEb7bb665fe850: more systematic java_library: avoid empty entries, declaration order as for….
more systematic java_library: avoid empty entries, declaration order as for…
Mar 30 2021
Mar 30 2021
makarius committed rISABELLEe52a9b208481: support sequential LaTeX jobs: more robust when TeX installation is self….
support sequential LaTeX jobs: more robust when TeX installation is self…
avoid symblinks --- make it work on Windows;
makarius added a comment to rISABELLE2cdbb6a2f2a7: updated to latest latex due to new mechanism for dealing with bold ccfonts.
See also https://www.texfaq.org/FAQ-concrete
Mar 28 2021
Mar 28 2021
clarified message;
more options: build is part of default setup;
misc tuning and clarification;
proper Admin script, outside the settings environment;
Mar 27 2021
Mar 27 2021
more accurate settings after update of current version;
clarified messages;
more robust: lest hg work out remote tip;
makarius committed rISABELLEdbe5bbc2331e: clarified treatment of multiple versions: last one counts;.
clarified treatment of multiple versions: last one counts;
more robust: explicit repository root;
more convenient repository setup;
more robust invocation of hg;
more robust invocation of hg;
more robust: idempotent;