Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

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

Tue, Mar 23

makarius committed rISABELLE4840ce456b4f: enforce full build;.
enforce full build;
Tue, Mar 23, 8:37 PM
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;
Tue, Mar 23, 8:37 PM
makarius committed rISABELLE2cc9bd9a7357: discontinue fragile check in LaTeX, e.g. problems with toc entries;.
discontinue fragile check in LaTeX, e.g. problems with toc entries;
Tue, Mar 23, 1:23 PM

Mon, Mar 22

makarius committed rISABELLE8eeea9901897: more NEWS;.
more NEWS;
Mon, Mar 22, 6:04 PM
makarius committed rISABELLE86b900eff9bf: clarified group (but hard to tell);.
clarified group (but hard to tell);
Mon, Mar 22, 6:04 PM
makarius committed rISABELLE090add96f5f9: more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb….
more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb…
Mon, Mar 22, 6:04 PM
makarius committed rISABELLE1e5c1f8a35cd: clarified package name (actually both pxfonts and txfonts exist and have this….
clarified package name (actually both pxfonts and txfonts exist and have this…
Mon, Mar 22, 12:08 AM

Sun, Mar 21

makarius created Blog Post: High-quality blackboard-bold symbols.
Sun, Mar 21, 11:58 PM
makarius committed rISABELLEb138cdd22cfb: tuned;.
tuned;
Sun, Mar 21, 11:56 PM
makarius committed rISABELLE552a9dd5b4a2: prefer isabelle bbbfont;.
prefer isabelle bbbfont;
Sun, Mar 21, 11:50 PM
makarius committed rISABELLE8995cab6b7a6: enforce full build;.
enforce full build;
Sun, Mar 21, 11:50 PM
makarius committed rISABELLE067c23324784: clarified symbol names, notably relevant for Z_Notation;.
clarified symbol names, notably relevant for Z_Notation;
Sun, Mar 21, 11:50 PM
makarius committed rISABELLE1f1f4462a6ae: high-quality blackboard-bold fonts from "txmia" (package "txfonts");.
high-quality blackboard-bold fonts from "txmia" (package "txfonts");
Sun, Mar 21, 11:50 PM
makarius committed rISABELLE144431a135e9: update README (actually after update of component);.
update README (actually after update of component);
Sun, Mar 21, 11:50 PM

Fri, Mar 19

makarius committed rISABELLE53e5d0c412b6: publish component;.
publish component;
Fri, Mar 19, 11:37 PM
makarius committed rISABELLE3ede182a479a: further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F….
further clarification of Z Notation symbols (notably glyphs 0x2119, 0x2A1F…
Fri, Mar 19, 11:36 PM
makarius committed rISABELLE0cc9c2d43957: clarified \<Zcomp> (small) vs. \<Zsemi> (big);.
clarified \<Zcomp> (small) vs. \<Zsemi> (big);
Fri, Mar 19, 1:49 PM
makarius committed rISABELLEb134f9dbe4b7: more CONTRIBUTORS;.
more CONTRIBUTORS;
Fri, Mar 19, 1:49 PM
makarius committed rISABELLEa9e0fae0107d: more Z_Notation symbols, as proposed by Simon Foster;.
more Z_Notation symbols, as proposed by Simon Foster;
Fri, Mar 19, 1:10 PM

Thu, Mar 18

makarius committed rISABELLE519ce76a602f: more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the….
more accurate glyphs 0x25C1 / 0x25B7, based on 0x2A64 / 0x2A65 minus the…
Thu, Mar 18, 9:53 PM
makarius committed rISABELLE6daae98df27e: clarified order for GUI panel;.
clarified order for GUI panel;
Thu, Mar 18, 9:53 PM
makarius committed rISABELLEc5315b89c1bf: more Z_Notation symbols, as proposed by Simon Foster;.
more Z_Notation symbols, as proposed by Simon Foster;
Thu, Mar 18, 1:05 PM
makarius committed rISABELLE7ca886bf7156: more accurate spacing, according to results seen in isar-ref (Appendix B)….
more accurate spacing, according to results seen in isar-ref (Appendix B)…
Thu, Mar 18, 1:00 PM
makarius committed rISABELLE76a061b67993: clarified order for presentation in isar-ref (Appendix B);.
clarified order for presentation in isar-ref (Appendix B);
Thu, Mar 18, 1:00 PM
makarius committed rISABELLE2200a19cac72: prefer explicit \<Zproject> (with its own Unicode codepoint);.
prefer explicit \<Zproject> (with its own Unicode codepoint);
Thu, Mar 18, 1:00 PM

Wed, Mar 17

makarius committed rISABELLEd1c4c2395650: more Isabelle symbol definitions for Z Notation, based on https://github..
more Isabelle symbol definitions for Z Notation, based on https://github.
Wed, Mar 17, 10:54 PM
makarius committed rISABELLE02ea468ecf07: proper directory of settings file;.
proper directory of settings file;
Wed, Mar 17, 10:54 PM
makarius committed rISABELLEf817692c929f: tuned message;.
tuned message;
Wed, Mar 17, 10:54 PM

Mon, Mar 15

makarius committed rISABELLEf2167948157e: tuned signature;.
tuned signature;
Mon, Mar 15, 11:54 AM