Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

User Since
Sep 24 2019, 9:33 PM (81 w, 3 d)
Roles
Administrator

Recent Activity

Today

makarius committed rISABELLE386416437ce9: updated example;.
updated example;
Fri, Apr 16, 10:27 PM
makarius committed rISABELLE1d4c9fa00821: clarified options;.
clarified options;
Fri, Apr 16, 10:27 PM

Wed, Apr 14

makarius committed rISABELLEdabe295c3f62: proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);.
proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
Wed, Apr 14, 10:52 PM
makarius committed rISABELLEcd84e58aed26: eliminated perl: prefer elementary GNU printenv;.
eliminated perl: prefer elementary GNU printenv;
Wed, Apr 14, 10:52 PM
makarius committed rISABELLE8ddf6728ad80: more self-contained support for macOS;.
more self-contained support for macOS;
Wed, Apr 14, 10:52 PM
makarius committed rISABELLEa96564139fa7: more robust bootstrap of components;.
more robust bootstrap of components;
Wed, Apr 14, 10:52 PM

Tue, Apr 13

makarius committed rISABELLE629868f96c81: misc tuning and clarification;.
misc tuning and clarification;
Tue, Apr 13, 5:52 PM
makarius committed rISABELLE6c8fc3c038eb: tuned signature;.
tuned signature;
Tue, Apr 13, 12:15 PM

Mon, Apr 12

makarius committed rISABELLEb50f8cc8c08e: support for base64 via Isabelle/Scala/ML;.
support for base64 via Isabelle/Scala/ML;
Mon, Apr 12, 11:27 PM
makarius committed rISABELLE23d2adc5489e: compile;.
compile;
Mon, Apr 12, 11:27 PM
makarius committed rISABELLEa30a60aef59f: clarified signature (again);.
clarified signature (again);
Mon, Apr 12, 11:27 PM
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);
Mon, Apr 12, 11:27 PM
makarius committed rISABELLE6ab97ac63809: merged.
merged
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEf86661e32bed: clarified signature;.
clarified signature;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEbdba138d462d: clarified signature: more structured arguments, notably for remote provers;.
clarified signature: more structured arguments, notably for remote provers;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEc5512fde6ad1: unused;.
unused;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE355af2d1b817: clarified signature;.
clarified signature;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEe21aef453cd4: unused;.
unused;
Mon, Apr 12, 11:26 PM
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…
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE1aa92bc4d356: clarified signature for Scala functions;.
clarified signature for Scala functions;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE4e6b31ed7197: clarified signature: avoid tmp file;.
clarified signature: avoid tmp file;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE55b66a45bc94: tuned;.
tuned;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEc5a390b9ae00: clarified cache;.
clarified cache;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEa578ebf5b78d: clarified exceptions;.
clarified exceptions;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEc83152933579: clarified signature: Bytes extends CharSequence already (see d201996f72a8);.
clarified signature: Bytes extends CharSequence already (see d201996f72a8);
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE22b5ecb53dd9: more uniform use of Byte_Message;.
more uniform use of Byte_Message;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLE225486d9c960: tuned signature;.
tuned signature;
Mon, Apr 12, 11:26 PM
makarius committed rISABELLEa5d1d1e2f109: tuned signature;.
tuned signature;
Mon, Apr 12, 11:26 PM
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;
Mon, Apr 12, 11:26 PM

Sat, Apr 10

makarius committed rISABELLEc973b5300025: tuned;.
tuned;
Sat, Apr 10, 8:27 PM
makarius committed rISABELLEb35ef8162807: tuned;.
tuned;
Sat, Apr 10, 8:27 PM
makarius committed rISABELLE08bef311d382: more documentation;.
more documentation;
Sat, Apr 10, 3:36 PM
makarius committed rISABELLE53c148e39819: proper treatment of nested antiquotations;.
proper treatment of nested antiquotations;
Sat, Apr 10, 3:36 PM
makarius committed rISABELLE2f6855142a8c: support for ML special forms: modified evaluation similar to Scheme;.
support for ML special forms: modified evaluation similar to Scheme;
Sat, Apr 10, 3:36 PM
makarius committed rISABELLEa2c589d5e1e4: clarified signature: more detailed token positions for antiquotations;.
clarified signature: more detailed token positions for antiquotations;
Sat, Apr 10, 3:36 PM

Thu, Apr 8

makarius committed rAFP107ecc8216a8: clarified message, following Isabelle/a7aabdf889b7;.
clarified message, following Isabelle/a7aabdf889b7;
Thu, Apr 8, 9:09 PM
makarius committed rISABELLEc54a9395ad96: merged.
merged
Thu, Apr 8, 9:08 PM
makarius committed rISABELLEa7aabdf889b7: clarified signature;.
clarified signature;
Thu, Apr 8, 9:08 PM

Wed, Apr 7

makarius committed rISABELLE79761915770c: some tinkering with npm versions;.
some tinkering with npm versions;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEf8c6c45cb112: some tinkering with npm versions;.
some tinkering with npm versions;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEe4fde6b3e09a: back to post-release mode;.
back to post-release mode;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLE1240abf2e3f5: tuned signature;.
tuned signature;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEf800f8becbfb: tuned;.
tuned;
Wed, Apr 7, 10:34 PM
makarius committed rISABELLEa69197959ab6: auto-update due to "isabelle build_vscode";.
auto-update due to "isabelle build_vscode";
Wed, Apr 7, 10:34 PM
makarius committed rISABELLE80db0d2759b5: tuned --- following hints by IntelliJ IDEA;.
tuned --- following hints by IntelliJ IDEA;
Wed, Apr 7, 10:34 PM

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…
Mon, Apr 5, 11:03 PM
makarius committed rISABELLE543d5539306d: following recent Phabricator update, after 2021 Week 13 (Late March);.
following recent Phabricator update, after 2021 Week 13 (Late March);
Mon, Apr 5, 11:03 PM

Thu, Apr 1

makarius committed rISABELLE89cf7c903aca: clarified README;.
clarified README;
Thu, Apr 1, 7:41 PM
makarius committed rISABELLEcf1a1e92bf34: more standard header, with utf-8 encoding;.
more standard header, with utf-8 encoding;
Thu, Apr 1, 7:41 PM
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;
Thu, Apr 1, 7:41 PM

Wed, Mar 31

makarius committed rISABELLE419edc7f3726: clarified signature;.
clarified signature;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEc52d819499a1: clarified: follow "isabelle version -t";.
clarified: follow "isabelle version -t";
Wed, Mar 31, 11:50 PM
makarius committed rISABELLE2cd23d587db9: further clarification of Isabelle distribution identification -- avoid odd….
further clarification of Isabelle distribution identification -- avoid odd…
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEa6ca869af096: more robust and uniform ISABELLE_TAGS;.
more robust and uniform ISABELLE_TAGS;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEb219774a71ae: tuned signature -- more explicit types;.
tuned signature -- more explicit types;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLE8f485a199874: simplified release status (again), in contrast to a43898f76ae9;.
simplified release status (again), in contrast to a43898f76ae9;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLE4cba4e250c28: clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;.
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEc42144d9dde6: more uniform HTTP resources;.
more uniform HTTP resources;
Wed, Mar 31, 11:50 PM
makarius committed rISABELLEd3f2038198ae: clarified (again): local tip could be actually more recent;.
clarified (again): local tip could be actually more recent;
Wed, Mar 31, 11:37 AM
makarius committed rISABELLEef5440f4fcc4: tuned;.
tuned;
Wed, Mar 31, 11:37 AM
makarius committed rISABELLEae5fa3ca41b9: tuned;.
tuned;
Wed, Mar 31, 11:37 AM
makarius committed rISABELLE01acd0eb29ce: clarified name;.
clarified name;
Wed, Mar 31, 11:37 AM
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…
Wed, Mar 31, 11:37 AM

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…
Tue, Mar 30, 8:53 PM
makarius committed rAFP3f8b18dd1a65: avoid symblinks --- make it work on Windows;.
avoid symblinks --- make it work on Windows;
Tue, Mar 30, 8:28 PM
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

Tue, Mar 30, 11:46 AM

Sun, Mar 28

makarius committed rISABELLE5d750df8e894: more robust;.
more robust;
Sun, Mar 28, 12:24 PM
makarius committed rISABELLE001097314d09: clarified message;.
clarified message;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLE2592a661ddc9: tuned;.
tuned;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEa35b2ee3148f: proper export;.
proper export;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEd34033a93711: tuned message;.
tuned message;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEc259c7a42ac3: more options: build is part of default setup;.
more options: build is part of default setup;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEeda1d95ef538: misc tuning and clarification;.
misc tuning and clarification;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEc582bf975a5b: more options;.
more options;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEf026a9a0a43f: proper Admin script, outside the settings environment;.
proper Admin script, outside the settings environment;
Sun, Mar 28, 12:15 PM
makarius committed rISABELLEa33e5298aee6: tuned whitespace;.
tuned whitespace;
Sun, Mar 28, 12:15 PM

Sat, Mar 27

makarius committed rISABELLE53626e34d1ca: tuned;.
tuned;
Sat, Mar 27, 11:04 PM
makarius committed rISABELLEf5e9ade80579: clarified;.
clarified;
Sat, Mar 27, 11:00 PM
makarius committed rISABELLE7cdcf131699d: tuned message;.
tuned message;
Sat, Mar 27, 10:53 PM
makarius committed rISABELLE2d00ea4972d7: tuned message;.
tuned message;
Sat, Mar 27, 10:53 PM
makarius committed rISABELLE6365c1b7ac10: more accurate settings after update of current version;.
more accurate settings after update of current version;
Sat, Mar 27, 10:36 PM
makarius committed rISABELLEe16133a05458: clarified messages;.
clarified messages;
Sat, Mar 27, 10:33 PM
makarius committed rISABELLE827f53095f1c: more robust: lest hg work out remote tip;.
more robust: lest hg work out remote tip;
Sat, Mar 27, 10:21 PM
makarius committed rISABELLE8c93418ea257: more options;.
more options;
Sat, Mar 27, 10:21 PM
makarius committed rISABELLEdbe5bbc2331e: clarified treatment of multiple versions: last one counts;.
clarified treatment of multiple versions: last one counts;
Sat, Mar 27, 10:21 PM
makarius committed rISABELLEd31d229eb8df: more robust;.
more robust;
Sat, Mar 27, 8:53 PM
makarius committed rISABELLE9460f1f45405: more robust: explicit repository root;.
more robust: explicit repository root;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE97692af929a4: more robust;.
more robust;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE47f055b40ab9: more convenient repository setup;.
more convenient repository setup;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE3cbf041f544a: more robust invocation of hg;.
more robust invocation of hg;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE1a6637572b70: tuned;.
tuned;
Sat, Mar 27, 8:50 PM
makarius committed rISABELLE804e75127f29: more robust invocation of hg;.
more robust invocation of hg;
Sat, Mar 27, 8:49 PM
makarius committed rISABELLE4f8849357ba7: more robust: idempotent;.
more robust: idempotent;
Sat, Mar 27, 8:49 PM
makarius committed rISABELLE9830d7981ad0: tuned;.
tuned;
Sat, Mar 27, 6:06 PM
makarius committed rISABELLE92db3e31fae3: clarified output;.
clarified output;
Sat, Mar 27, 6:06 PM
makarius committed rAFPad08fbc23656: more robust invocation of hg;.
more robust invocation of hg;
Sat, Mar 27, 5:39 PM
makarius committed rISABELLE6e20976d58f5: more robust invocation of hg;.
more robust invocation of hg;
Sat, Mar 27, 5:38 PM
makarius committed rISABELLE0e880b793db1: support repository archives (without full .hg directory);.
support repository archives (without full .hg directory);
Sat, Mar 27, 5:38 PM
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…
Sat, Mar 27, 4:15 PM

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;
Wed, Mar 24, 9:42 PM