Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

User Details

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

Recent Activity

Wed, May 27

makarius committed rISABELLE8357ee06ade1: adapted to d25093536482;.
adapted to d25093536482;
Wed, May 27, 10:00 PM
makarius committed rISABELLEb9fbc93f3a24: clarified markup;.
clarified markup;
Wed, May 27, 10:00 PM
makarius committed rISABELLEd25093536482: clarified signature;.
clarified signature;
Wed, May 27, 10:00 PM
makarius committed rISABELLEf8b0271cc744: tuned signature;.
tuned signature;
Wed, May 27, 10:00 PM
makarius updated the post content for Blog Post: Antiquotations for Isabelle systems programming.
Wed, May 27, 4:45 PM
makarius created Blog Post: Antiquotations for Isabelle systems programming.
Wed, May 27, 4:44 PM
makarius committed rISABELLEcdcf2fcf3f54: tuned;.
tuned;
Wed, May 27, 4:44 PM
makarius committed rISABELLEa63072d875d1: proper error positions;.
proper error positions;
Wed, May 27, 4:36 PM
makarius committed rISABELLE64c9628b39fc: more documentation on Isabelle/Scala;.
more documentation on Isabelle/Scala;
Wed, May 27, 4:36 PM
makarius committed rISABELLE0dc67ae4a4c7: more NEWS;.
more NEWS;
Wed, May 27, 4:36 PM
makarius committed rISABELLE70442ddbfb15: tuned whitespace;.
tuned whitespace;
Wed, May 27, 4:36 PM
makarius committed rISABELLE0da5fb75088a: more antiquotations;.
more antiquotations;
Wed, May 27, 4:36 PM
makarius committed rISABELLE1ca5623888bb: tuned;.
tuned;
Wed, May 27, 4:36 PM
makarius committed rISABELLE1529336eaedc: check bash functions against Isabelle settings environment;.
check bash functions against Isabelle settings environment;
Wed, May 27, 4:36 PM
makarius committed rISABELLE0408f6814224: misc tuning;.
misc tuning;
Wed, May 27, 4:36 PM
makarius committed rISABELLEf08cf9d8f90b: breakable scala_name;.
breakable scala_name;
Wed, May 27, 4:36 PM
makarius committed rISABELLE9a12eb655f67: tuned signature;.
tuned signature;
Wed, May 27, 4:35 PM
makarius committed rISABELLE2cf0b0293f0d: proper check of example;.
proper check of example;
Wed, May 27, 4:35 PM
makarius committed rISABELLE4df341249348: discontinued pointless document antiquotation;.
discontinued pointless document antiquotation;
Wed, May 27, 4:35 PM
makarius committed rISABELLEce06d6456cc8: clarified signature --- fit within limit of 22 arguments;.
clarified signature --- fit within limit of 22 arguments;
Wed, May 27, 4:35 PM
makarius committed rISABELLE7a39036d5a19: tuned;.
tuned;
Wed, May 27, 4:35 PM
makarius committed rISABELLEab21876c30c1: tuned;.
tuned;
Wed, May 27, 4:35 PM

Mon, May 25

makarius committed rISABELLEa27747c85700: more antiquotations;.
more antiquotations;
Mon, May 25, 11:03 PM
makarius committed rISABELLEdff81ce866d4: obsolete;.
obsolete;
Mon, May 25, 11:03 PM
makarius committed rISABELLE1b023a4498c3: check free-form Scala source;.
check free-form Scala source;
Mon, May 25, 11:03 PM
makarius committed rISABELLE3b35b0fd7fe8: clarified static_check: avoid accidental evaluation;.
clarified static_check: avoid accidental evaluation;
Mon, May 25, 11:03 PM
makarius committed rISABELLE8dbefe849666: omit pointless memoing: Scala compiler is rather bulky anyway;.
omit pointless memoing: Scala compiler is rather bulky anyway;
Mon, May 25, 11:03 PM
makarius committed rISABELLEfeb37a43ace6: clarified signature;.
clarified signature;
Mon, May 25, 11:03 PM
makarius committed rISABELLEf7d15620dd8e: antiquotations for Scala entities;.
antiquotations for Scala entities;
Mon, May 25, 11:03 PM

Sun, May 24

makarius committed rISABELLE45f85e283ce0: merged.
merged
Sun, May 24, 9:54 PM
makarius committed rISABELLE2bf0283fc975: proper stack_limit;.
proper stack_limit;
Sun, May 24, 9:54 PM
makarius committed rISABELLE44ba78056790: clarified signature;.
clarified signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLE71de0a253842: proper check of registered Scala functions;.
proper check of registered Scala functions;
Sun, May 24, 9:54 PM
makarius committed rISABELLEf92c7e2ba8da: more accurate classpath for "isabelle scala";.
more accurate classpath for "isabelle scala";
Sun, May 24, 9:54 PM
makarius committed rISABELLE0ca353521753: asynchronous build_session: notably for Scala.fulfill protocol commands during….
asynchronous build_session: notably for Scala.fulfill protocol commands during…
Sun, May 24, 9:54 PM
makarius committed rISABELLEfe7ee970c425: clarified build_session protocol;.
clarified build_session protocol;
Sun, May 24, 9:54 PM
makarius committed rISABELLE3cd8449829fa: clarified signature;.
clarified signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLEaaa984499d36: tuned signature;.
tuned signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLEad063ac1f617: more robust: explicit check for PIDE session;.
more robust: explicit check for PIDE session;
Sun, May 24, 9:54 PM
makarius committed rISABELLEf5dd0abd49d1: clarified name;.
clarified name;
Sun, May 24, 9:54 PM
makarius committed rISABELLE9d31fe4ecaea: unused;.
unused;
Sun, May 24, 9:54 PM
makarius committed rISABELLEb5191ededb6c: check Scala source snippets from ML;.
check Scala source snippets from ML;
Sun, May 24, 9:54 PM
makarius committed rISABELLEa7b81dd9954e: tuned signature;.
tuned signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLE82abfda58667: init default context;.
init default context;
Sun, May 24, 9:54 PM
makarius committed rISABELLE2b7840fb2f90: tuned message;.
tuned message;
Sun, May 24, 9:54 PM
makarius committed rISABELLE28def00726ca: more robust isabelle.Functions --- avoid Java reflection with unclear….
more robust isabelle.Functions --- avoid Java reflection with unclear…
Sun, May 24, 9:54 PM
makarius committed rISABELLE06ec50d9fc0a: clarified signature;.
clarified signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLE3ee14fc25736: tuned;.
tuned;
Sun, May 24, 9:54 PM
makarius committed rISABELLE3882df6a4a93: tuned message;.
tuned message;
Sun, May 24, 9:54 PM
makarius committed rISABELLE081fdd53003a: more brackets (see 2e8af171887f);.
more brackets (see 2e8af171887f);
Sun, May 24, 9:54 PM
makarius committed rISABELLEbfc120aa737a: clarified signature;.
clarified signature;
Sun, May 24, 9:54 PM
makarius committed rISABELLEe95ea6956df3: unused;.
unused;
Sun, May 24, 9:54 PM
makarius committed rISABELLE8bbadb065ebe: more robust, notably for "isabelle scala";.
more robust, notably for "isabelle scala";
Sun, May 24, 9:54 PM
makarius committed rISABELLE1330fa4a2b85: clarified signature;.
clarified signature;
Sun, May 24, 9:54 PM

Wed, May 20

makarius committed rISABELLEf640380aaf86: clarified signature;.
clarified signature;
Wed, May 20, 10:35 PM
makarius committed rISABELLE265bbad3d6af: clarified modules;.
clarified modules;
Wed, May 20, 10:35 PM

Tue, May 19

makarius updated the post content for Blog Post: Release Candidates for Isabelle2020.
Tue, May 19, 5:38 PM

Mon, May 18

makarius updated the post content for Blog Post: Update of Isabelle/Phabricator setup.
Mon, May 18, 5:08 PM
makarius created Blog Post: Update of Isabelle/Phabricator setup.
Mon, May 18, 5:08 PM
makarius committed rISABELLEb8d7b623e274: follow Phabricator update 2020 Week 19;.
follow Phabricator update 2020 Week 19;
Mon, May 18, 5:06 PM

Tue, May 12

makarius triaged T21: Unexpected failure of method "algebra" as Low priority.
Tue, May 12, 4:56 PM
makarius committed rISABELLEf61b19358a8f: clarified session imports: avoid bulky HOL-Library image;.
clarified session imports: avoid bulky HOL-Library image;
Tue, May 12, 4:51 PM
makarius committed rISABELLE26c4af1e4ffe: tuned -- avoid warning;.
tuned -- avoid warning;
Tue, May 12, 4:51 PM

Wed, May 6

makarius updated the task description for T12: Hosting of Isabelle/AFP after Jun-2020.
Wed, May 6, 12:13 PM · isabelle-release

Fri, May 1

makarius lowered the priority of T20: Sledgehammer/z3: "bad SMT term: _" from Normal to Wishlist.

OK, so this is now on "Wishlist".

Fri, May 1, 10:54 PM

Apr 28 2020

makarius created Blog Post: Command-line tool "isabelle sessions".
Apr 28 2020, 10:16 PM
makarius committed rISABELLE3c6586a599bb: merged.
merged
Apr 28 2020, 10:14 PM
makarius committed rISABELLEe2ad50885887: added "isabelle sessions" tool;.
added "isabelle sessions" tool;
Apr 28 2020, 10:14 PM
makarius committed rISABELLEcdfa8f027bb9: tuned messages;.
tuned messages;
Apr 28 2020, 10:14 PM

Apr 23 2020

makarius committed rISABELLE936718dede80: more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination….
more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination…
Apr 23 2020, 2:06 PM
makarius committed rISABELLEbb72e75cec61: back to more modest (but uniform) Java stack, see 97fc4f657bda;.
back to more modest (but uniform) Java stack, see 97fc4f657bda;
Apr 23 2020, 2:06 PM
makarius committed rISABELLE97fc4f657bda: more generous Java memory, also hoping to prevent spurious java.lang..
more generous Java memory, also hoping to prevent spurious java.lang.
Apr 23 2020, 12:52 PM

Apr 22 2020

makarius committed rISABELLEacfe72ff00c2: merged.
merged
Apr 22 2020, 7:23 PM
makarius committed rISABELLE97975476547c: merged.
merged
Apr 22 2020, 7:23 PM
makarius committed rISABELLE39613d6e2021: avoid deprecated operations;.
avoid deprecated operations;
Apr 22 2020, 7:23 PM
makarius committed rISABELLE8a5da740e388: tuned -- avoid odd compiler warning;.
tuned -- avoid odd compiler warning;
Apr 22 2020, 7:23 PM
makarius committed rISABELLE73dee865d567: avoid deprecated operations;.
avoid deprecated operations;
Apr 22 2020, 7:23 PM
makarius committed rISABELLEa57035ae9029: deprecated and obsolete;.
deprecated and obsolete;
Apr 22 2020, 7:23 PM
makarius committed rISABELLE3fd54f7f52b0: tuned signature -- avoid warnings;.
tuned signature -- avoid warnings;
Apr 22 2020, 7:23 PM
makarius committed rISABELLE21adf2ed442c: more informative error;.
more informative error;
Apr 22 2020, 7:23 PM
makarius committed rISABELLE3875815f5967: clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case….
clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case…
Apr 22 2020, 12:45 AM
makarius committed rISABELLE5ef7f374e0f8: clarified signature -- avoid warning;.
clarified signature -- avoid warning;
Apr 22 2020, 12:45 AM
makarius committed rISABELLE291c46bf3000: tuned;.
tuned;
Apr 22 2020, 12:45 AM
makarius committed rISABELLE491f185fd705: clarified imports;.
clarified imports;
Apr 22 2020, 12:45 AM

Apr 17 2020

makarius committed rISABELLEc4e0d29cf1ca: discontinued somewhat incoherent patches (see also 3b36fc4916af);.
discontinued somewhat incoherent patches (see also 3b36fc4916af);
Apr 17 2020, 10:16 PM
makarius committed rISABELLE17365d32a0c8: use friendlier package;.
use friendlier package;
Apr 17 2020, 10:05 PM

Apr 16 2020

makarius committed rISABELLEad7ac7948d57: move virtual machine node;.
move virtual machine node;
Apr 16 2020, 6:43 PM
makarius committed rISABELLE2006be3cb98b: removed obsolete RC tags;.
removed obsolete RC tags;
Apr 16 2020, 12:38 AM

Apr 15 2020

makarius committed rISABELLE65b7d9ec05f5: merged.
merged
Apr 15 2020, 2:37 PM
makarius committed rISABELLE5d360394f292: Added tag Isabelle2020 for changeset abf3e80bd815.
Added tag Isabelle2020 for changeset abf3e80bd815
Apr 15 2020, 2:37 PM
makarius committed rISABELLEabf3e80bd815: tuned NEWS;.
tuned NEWS;
Apr 15 2020, 2:37 PM
makarius committed rISABELLEf39b1afe8845: tuned NEWS;.
tuned NEWS;
Apr 15 2020, 2:37 PM
makarius committed rWEBSITEe1a8d7a6bf6e: updated for release;.
updated for release;
Apr 15 2020, 2:09 PM

Apr 13 2020

makarius committed rISABELLE77232ff6b8f6: tuned message;.
tuned message;
Apr 13 2020, 5:45 PM
makarius committed rISABELLE34de8369c290: tuned message;.
tuned message;
Apr 13 2020, 5:45 PM
makarius committed rISABELLE1dd514c8c1df: clarified signature;.
clarified signature;
Apr 13 2020, 5:45 PM

Apr 9 2020

makarius committed rISABELLEde37910974da: avoid hard-wired stuff: configure via plugin services;.
avoid hard-wired stuff: configure via plugin services;
Apr 9 2020, 10:04 PM
makarius committed rISABELLE1dd97156db80: tuned;.
tuned;
Apr 9 2020, 10:04 PM
makarius committed rISABELLE83574f13d0f0: tuned;.
tuned;
Apr 9 2020, 6:19 PM

Apr 8 2020

makarius committed rISABELLEc0bc99aad936: clarified init of settings vs. services;.
clarified init of settings vs. services;
Apr 8 2020, 8:50 PM