Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

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

Recent Activity

Sat, Jan 22

makarius committed rISABELLE26794ec7c78e: some updates and clarification on Assumption.export_term;.
some updates and clarification on Assumption.export_term;
Sat, Jan 22, 1:30 PM

Fri, Jan 21

makarius committed rISABELLE79635df97a90: updated to jdk-17.0.2+8;.
updated to jdk-17.0.2+8;
Fri, Jan 21, 7:21 PM

Dec 21 2021

makarius committed rISABELLE77a96ed74340: allow general command transactions with presentation;.
allow general command transactions with presentation;
Dec 21 2021, 10:39 PM
makarius committed rISABELLE29dfe75c058b: more operations;.
more operations;
Dec 21 2021, 9:33 PM
makarius committed rISABELLE2c9c4ad4c816: clarified signature;.
clarified signature;
Dec 21 2021, 9:33 PM
makarius committed rISABELLEbb0858cc574e: tuned signature;.
tuned signature;
Dec 21 2021, 9:33 PM
makarius committed rISABELLEf03ece7155d6: support Gradle as alternative to Maven (again);.
support Gradle as alternative to Maven (again);
Dec 21 2021, 9:33 PM

Dec 17 2021

makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Dec 17 2021, 11:42 AM

Dec 15 2021

makarius committed rISABELLE0dd14d8b16da: support for JSON:API;.
support for JSON:API;
Dec 15 2021, 11:22 PM
makarius committed rISABELLE9b14491ca5c6: tuned whitespace;.
tuned whitespace;
Dec 15 2021, 11:22 PM
makarius committed rISABELLE4dc90b43ba94: support for Flarum server;.
support for Flarum server;
Dec 15 2021, 11:22 PM
makarius committed rISABELLE9ddf227fc8a4: tuned comments;.
tuned comments;
Dec 15 2021, 11:21 PM
makarius committed rISABELLEafd8cb7b2be1: tuned imports;.
tuned imports;
Dec 15 2021, 11:21 PM
makarius committed rISABELLEa63c34c28430: clarified author names;.
clarified author names;
Dec 15 2021, 3:08 PM
makarius committed rISABELLEfe1d22487427: clarified author names;.
clarified author names;
Dec 15 2021, 3:08 PM

Dec 14 2021

makarius committed rISABELLEf76bf7b5baed: more accurate names;.
more accurate names;
Dec 14 2021, 9:55 PM
makarius committed rISABELLEd4d3dec0970a: merged.
merged
Dec 14 2021, 9:55 PM
makarius committed rISABELLE450597bdd2d3: more standard author_info;.
more standard author_info;
Dec 14 2021, 9:55 PM
makarius committed rISABELLE4c166d510b65: clarified author info and cluster nodes;.
clarified author info and cluster nodes;
Dec 14 2021, 9:55 PM
makarius committed rISABELLEdc62948c6080: more data integrity: name vs. address;.
more data integrity: name vs. address;
Dec 14 2021, 9:55 PM
makarius committed rISABELLEf5ad3214bef4: clarified signature: more operations;.
clarified signature: more operations;
Dec 14 2021, 9:55 PM
makarius committed rISABELLE0f27dcd030b8: clarified signature;.
clarified signature;
Dec 14 2021, 9:55 PM
makarius committed rISABELLE1c75f42770b5: tuned;.
tuned;
Dec 14 2021, 9:55 PM
makarius committed rISABELLE1753dade9a24: more data integrity: name vs. address;.
more data integrity: name vs. address;
Dec 14 2021, 9:55 PM
makarius committed rISABELLEe9506503efea: tuned comments;.
tuned comments;
Dec 14 2021, 9:55 PM

Dec 13 2021

makarius committed rISABELLE5cd2e6e17e6f: merged.
merged
Dec 13 2021, 10:41 PM
makarius committed rISABELLE4bc306cb2832: more data integrity: name vs. address;.
more data integrity: name vs. address;
Dec 13 2021, 10:41 PM
makarius committed rISABELLEe0070487b635: clarified name;.
clarified name;
Dec 13 2021, 10:41 PM
makarius committed rISABELLEaf954161e1cd: misc tuning and clarification;.
misc tuning and clarification;
Dec 13 2021, 10:41 PM
makarius committed rISABELLE15404e37c127: more mailing list content;.
more mailing list content;
Dec 13 2021, 10:41 PM
makarius committed rISABELLE74655fd58f8e: more mailing list content;.
more mailing list content;
Dec 13 2021, 10:41 PM
makarius committed rISABELLE115a47a103aa: added Apache Commons Lang + Text: not particularly exciting, but provides….
added Apache Commons Lang + Text: not particularly exciting, but provides…
Dec 13 2021, 10:41 PM
makarius committed rISABELLE9a2958ec9e08: updated links;.
updated links;
Dec 13 2021, 10:41 PM

Dec 12 2021

makarius committed rISABELLE89318c9131e8: removed obsolete RC tags;.
removed obsolete RC tags;
Dec 12 2021, 8:39 PM
makarius committed rISABELLE79ceca45fcbc: proper path;.
proper path;
Dec 12 2021, 8:39 PM
makarius committed rISABELLEcdd2284c8047: merged, resolving conflict in src/Doc/Implementation/Logic.thy;.
merged, resolving conflict in src/Doc/Implementation/Logic.thy;
Dec 12 2021, 6:10 PM
makarius committed rISABELLE70be57333ea1: Added tag Isabelle2021-1 for changeset c2a2be496f35.
Added tag Isabelle2021-1 for changeset c2a2be496f35
Dec 12 2021, 6:10 PM
makarius committed rISABELLEc2a2be496f35: tuned;.
tuned;
Dec 12 2021, 6:10 PM
makarius committed rISABELLEc49362e85f5a: proper ML types (amending 1aa92bc4d356);.
proper ML types (amending 1aa92bc4d356);
Dec 12 2021, 6:10 PM
makarius committed rISABELLE74a800810bde: proper types for Scala.Fun instances (amending 1aa92bc4d356);.
proper types for Scala.Fun instances (amending 1aa92bc4d356);
Dec 12 2021, 6:10 PM
makarius committed rISABELLEbdaf29253394: proper syntax category;.
proper syntax category;
Dec 12 2021, 6:10 PM

Dec 11 2021

makarius committed rWEBSITEf1376d1ba062: tuned;.
tuned;
Dec 11 2021, 11:26 AM
makarius committed rISABELLE0dd4dbe7bed3: provide component naproche-20211211;.
provide component naproche-20211211;
Dec 11 2021, 11:19 AM

Dec 10 2021

makarius committed rISABELLE7423bfe7c038: merged.
merged
Dec 10 2021, 8:47 PM
makarius committed rISABELLEaf2323593473: more Mailman archives;.
more Mailman archives;
Dec 10 2021, 8:47 PM
makarius committed rISABELLE9702913db56c: more Mailman content;.
more Mailman content;
Dec 10 2021, 8:47 PM
makarius committed rISABELLE246e22068141: clarified signature;.
clarified signature;
Dec 10 2021, 8:47 PM

Dec 7 2021

makarius committed rAFP5284bc2e2dfb: discontinued Parse.text;.
discontinued Parse.text;
Dec 7 2021, 12:12 AM
makarius committed rAFPc2061c79823c: merged.
merged
Dec 7 2021, 12:12 AM
makarius committed rAFP2fdd87fc6dd7: discontinued old-style {* verbatim *} tokens;.
discontinued old-style {* verbatim *} tokens;
Dec 7 2021, 12:12 AM
makarius committed rISABELLEfa5476c54731: tuned proof;.
tuned proof;
Dec 7 2021, 12:12 AM
makarius committed rISABELLE56247fdb8bbb: discontinued old-style {* verbatim *} tokens;.
discontinued old-style {* verbatim *} tokens;
Dec 7 2021, 12:12 AM
makarius committed rISABELLE2df334453c4c: isabelle update_cartouches;.
isabelle update_cartouches;
Dec 7 2021, 12:12 AM

Dec 6 2021

makarius committed rAFP1ffda7071d4a: isabelle update_cartouches;.
isabelle update_cartouches;
Dec 6 2021, 1:06 PM
makarius committed rAFPd4ed7c4aca73: removed obsolete "extend" operation;.
removed obsolete "extend" operation;
Dec 6 2021, 12:21 PM

Dec 5 2021

makarius committed rAFP98ecfb2297ef: more symbolic latex_output via XML (using YXML within text);.
more symbolic latex_output via XML (using YXML within text);
Dec 5 2021, 9:04 PM
makarius committed rISABELLE229d7ea628c2: more symbolic latex_output via XML (using YXML within text);.
more symbolic latex_output via XML (using YXML within text);
Dec 5 2021, 9:04 PM
makarius committed rISABELLEf32ac01aef5e: tuned signature: remove unused;.
tuned signature: remove unused;
Dec 5 2021, 9:04 PM
makarius committed rISABELLE947bb3e09a88: prefer symbolic Latex.environment (typeset in Isabelle/Scala);.
prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Dec 5 2021, 9:04 PM
makarius committed rISABELLE944d4d616ca0: clarified corner cases of syntax;.
clarified corner cases of syntax;
Dec 5 2021, 9:04 PM
makarius committed rISABELLE1e84ae3e886e: tuned signature;.
tuned signature;
Dec 5 2021, 9:04 PM
makarius committed rISABELLE89c7f74b5ae1: clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);.
clarified Parse.embedded_ml: follow documentation (8baf2e8b16e2);
Dec 5 2021, 9:04 PM
makarius committed rAFPdf2034347bc9: prefer symbolic Latex.environment (typeset in Isabelle/Scala);.
prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Dec 5 2021, 4:37 PM
makarius committed rAFP0bc1235e5fb6: tuned signature;.
tuned signature;
Dec 5 2021, 4:37 PM

Dec 4 2021

makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Dec 4 2021, 11:10 PM
makarius committed rWEBSITE256393a9a400: only Windows 10 is tested;.
only Windows 10 is tested;
Dec 4 2021, 10:36 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Dec 4 2021, 9:22 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021-1.
Dec 4 2021, 8:16 PM
makarius committed rISABELLE1a5d4586b6b0: provide component naproche-2d99afe5c349;.
provide component naproche-2d99afe5c349;
Dec 4 2021, 5:31 PM
makarius committed rISABELLEe8935405f082: merged.
merged
Dec 4 2021, 1:25 PM
makarius committed rISABELLE98d2b3375258: Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2.
Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2
Dec 4 2021, 1:25 PM
makarius committed rISABELLE8baf2e8b16e2: more documentation about Type/Const antiquotations;.
more documentation about Type/Const antiquotations;
Dec 4 2021, 1:25 PM
makarius committed rISABELLE0ab2ed1489eb: more documentation about document build options;.
more documentation about document build options;
Dec 4 2021, 1:25 PM
makarius committed rISABELLE0597884e6e91: tuned --- fewer IDE warnings;.
tuned --- fewer IDE warnings;
Dec 4 2021, 1:25 PM
makarius committed rISABELLE9e9a308562da: address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of….
address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of…
Dec 4 2021, 1:25 PM
makarius committed rISABELLEd54b3c96ee50: more robust physical timeout (despite 1bea05713dde), especially relevant for….
more robust physical timeout (despite 1bea05713dde), especially relevant for…
Dec 4 2021, 1:25 PM

Nov 30 2021

makarius added a comment to T9: Evaluate https://discourse.org as replacement for mailman, stackoverflow.

Flarum https://flarum.org looks like a pretty good alternative to Discourse, Matrix, Zulip etc.

Nov 30 2021, 5:03 PM

Nov 27 2021

makarius committed rISABELLE25e9e7088561: address problems with launch4j and jdk-17 (see also 41d009462d3c);.
address problems with launch4j and jdk-17 (see also 41d009462d3c);
Nov 27 2021, 6:48 PM
makarius committed rISABELLEae7912a42b9d: more robust build on midrange hardware;.
more robust build on midrange hardware;
Nov 27 2021, 3:47 PM
makarius committed rISABELLEa5eb407ec867: clarified tests: omit somewhat pointless (unstable) results;.
clarified tests: omit somewhat pointless (unstable) results;
Nov 27 2021, 3:47 PM
makarius committed rISABELLE014141670774: proper fields for gnuplot (amending b614e3e4146a);.
proper fields for gnuplot (amending b614e3e4146a);
Nov 27 2021, 3:47 PM
makarius committed rISABELLE7420a7ac1a4c: tuned output;.
tuned output;
Nov 27 2021, 3:47 PM
makarius committed rISABELLE204273f3a30e: tuned;.
tuned;
Nov 27 2021, 3:47 PM
makarius added a comment to T29: Update component for Z3.

See also 796ae338eb9d: use z3-4.4.1 for arm64-linux, which often works like pre-4.4.0 and sometimes crashes.

Nov 27 2021, 3:32 PM · provers
makarius added a comment to T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala.

Back to external Java process for Isabelle2021-1 release (see 91ee232b4211).

Nov 27 2021, 3:30 PM · isabelle-release
makarius closed T40: Potential problems with isabelle-dev mailing list server as Resolved.
Nov 27 2021, 3:27 PM

Nov 26 2021

makarius committed rISABELLE5280c02f29dc: merged.
merged
Nov 26 2021, 9:08 PM
makarius committed rISABELLEc5ce1e2f26ab: more robust build on midrange hardware (despite 67d6f1708ea4);.
more robust build on midrange hardware (despite 67d6f1708ea4);
Nov 26 2021, 9:08 PM
makarius committed rISABELLE2336356d4180: updated to polyml-5.9;.
updated to polyml-5.9;
Nov 26 2021, 9:08 PM
makarius committed rISABELLEa763f94c2c32: Added tag Isabelle2021-1-RC4 for changeset 2336356d4180.
Added tag Isabelle2021-1-RC4 for changeset 2336356d4180
Nov 26 2021, 9:08 PM
makarius committed rISABELLE743b114bdb41: NEWS on "isabelle mirabelle";.
NEWS on "isabelle mirabelle";
Nov 26 2021, 9:08 PM
makarius committed rISABELLE8fe987615ffe: tuned;.
tuned;
Nov 26 2021, 9:08 PM
makarius committed rISABELLE90242c744a1a: maintain option kodkod_scala within theory context, to allow local modification;.
maintain option kodkod_scala within theory context, to allow local modification;
Nov 26 2021, 9:08 PM
makarius committed rISABELLE91ee232b4211: clarified default for kodkod_scala;.
clarified default for kodkod_scala;
Nov 26 2021, 9:08 PM
makarius committed rISABELLEace8be1881e1: NEWS for proper release;.
NEWS for proper release;
Nov 26 2021, 9:08 PM
makarius committed rISABELLE29672359a371: updated to flatlaf-1.6.4;.
updated to flatlaf-1.6.4;
Nov 26 2021, 9:08 PM
makarius committed rISABELLE4faf0ec33cbf: option document_comment_latex supports e.g. Dagstuhl LIPIcs;.
option document_comment_latex supports e.g. Dagstuhl LIPIcs;
Nov 26 2021, 9:08 PM
makarius committed rISABELLE3bf746911da1: more explicit type Latex.Tags;.
more explicit type Latex.Tags;
Nov 26 2021, 9:08 PM
makarius committed rISABELLE9ad3fa47c83e: avoid broken links: auxiliary files are not yet supported;.
avoid broken links: auxiliary files are not yet supported;
Nov 26 2021, 9:08 PM
makarius committed rISABELLEf0e0fc82b0b9: removed pointless 'text_cartouche' command: regular 'text' already supports….
removed pointless 'text_cartouche' command: regular 'text' already supports…
Nov 26 2021, 9:08 PM