User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (81 w, 3 d)
- Roles
- Administrator
Wed, Apr 14
Wed, Apr 14
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;
Tue, Apr 13
Tue, Apr 13
misc tuning and clarification;
Mon, Apr 12
Mon, Apr 12
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;
Sat, Apr 10
Sat, Apr 10
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;
Thu, Apr 8
Thu, Apr 8
clarified message, following Isabelle/a7aabdf889b7;
clarified signature;
Wed, Apr 7
Wed, Apr 7
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;
Mon, Apr 5
Mon, Apr 5
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);
Thu, Apr 1
Thu, Apr 1
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;
Wed, Mar 31
Wed, Mar 31
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…
Tue, Mar 30
Tue, Mar 30
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
Sun, Mar 28
Sun, Mar 28
clarified message;
more options: build is part of default setup;
misc tuning and clarification;
proper Admin script, outside the settings environment;
Sat, Mar 27
Sat, Mar 27
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;
more robust invocation of hg;
more robust invocation of hg;
makarius committed rISABELLE0e880b793db1: support repository archives (without full .hg directory);.
support repository archives (without full .hg directory);
makarius committed rISABELLE1be70e3de751: record official releases that follow a certain structure, with public access….
record official releases that follow a certain structure, with public access…
Wed, Mar 24
Wed, Mar 24
makarius committed rISABELLE6b480efe1bc3: support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;.
support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
Tue, Mar 23
Tue, Mar 23
enforce full build;
makarius committed rISABELLE4e12a6caefb3: turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;.
turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;