Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

User Since
Sep 24 2019, 9:33 PM (70 w, 17 h)
Roles
Administrator

Recent Activity

Today

makarius committed rISABELLEb310b93563f6: more robust: support other_isabelle.init_settings for build_history before….
more robust: support other_isabelle.init_settings for build_history before…
Wed, Jan 27, 1:09 PM
makarius committed rWEBSITE7b14b480fd4d: obsolete (see Isabelle/b8e12e94cfca);.
obsolete (see Isabelle/b8e12e94cfca);
Wed, Jan 27, 12:58 PM

Yesterday

makarius closed T37: macOS app bundle cannot access folders Desktop, Documents, Downloads as Resolved.

It works by using an x86_64-darwin executable that invokes a shell script: the executable is accepted by Apple "Files and Folders" security, while still being able to launch arm64-darwin Java properly.

Tue, Jan 26, 11:14 PM · isabelle-release

Mon, Jan 25

makarius committed rISABELLEa5998396051e: more robust: defer error in sessions structure to build process;.
more robust: defer error in sessions structure to build process;
Mon, Jan 25, 10:57 PM
makarius moved T37: macOS app bundle cannot access folders Desktop, Documents, Downloads from Backlog to TODO on the isabelle-release board.
Mon, Jan 25, 6:11 PM · isabelle-release
makarius added a comment to T37: macOS app bundle cannot access folders Desktop, Documents, Downloads.

See also:

Mon, Jan 25, 5:51 PM · isabelle-release
makarius triaged T37: macOS app bundle cannot access folders Desktop, Documents, Downloads as Normal priority.
Mon, Jan 25, 5:37 PM · isabelle-release

Sun, Jan 24

makarius committed rISABELLEebf7babc05ce: merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;.
merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE02422c9add5e: provide naproche-20210124 (inactive);.
provide naproche-20210124 (inactive);
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEa8a8bc42d552: Added tag Isabelle2021-RC3 for changeset 02422c9add5e.
Added tag Isabelle2021-RC3 for changeset 02422c9add5e
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEf9c71ce29150: tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;.
tuned name, e.g. relevant for Naproche-SAD debugging in Isabelle/jEdit;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE7e70d7dd1baa: more operations for client connection;.
more operations for client connection;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE14f8db6746cb: follow stackage update;.
follow stackage update;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE9288ac2eda12: fewer warnings, notably in Naproche-SAD;.
fewer warnings, notably in Naproche-SAD;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEab3fa0abc119: IDE support for Naproche-SAD;.
IDE support for Naproche-SAD;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE96321006c2d4: suppress bundled Naproche-SAD component: it is in conflict with building the….
suppress bundled Naproche-SAD component: it is in conflict with building the…
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE16772cc234a9: more robust etc/settings;.
more robust etc/settings;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEfc828f64da5b: support isabelle components -u and -x;.
support isabelle components -u and -x;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE91fc3b3df93f: proper path;.
proper path;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEb95844134b92: proper typescript version, required for "vsce package";.
proper typescript version, required for "vsce package";
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE2ac5a4957f9c: auto-update;.
auto-update;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEbd5e1d7c5312: auto-update;.
auto-update;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE78dd1abfbbe1: proper message;.
proper message;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE6d37836c4329: proper type constraint;.
proper type constraint;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE490ca65ecae2: VSCode extension for official Isabelle release;.
VSCode extension for official Isabelle release;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE1004cb57d502: unused;.
unused;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEe2132e1553a9: proper heap_free;.
proper heap_free;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE624c2b98860a: suppress markup for literal tokens with block control symbols, for better….
suppress markup for literal tokens with block control symbols, for better…
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE31fbde3baa97: more systematic java-gui-setup, also for "isabelle jedit" command-line tool;.
more systematic java-gui-setup, also for "isabelle jedit" command-line tool;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEc4b688abe2c4: clarified documentation concerning macOS Big Sur;.
clarified documentation concerning macOS Big Sur;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE480521bdaf3a: tuned proofs;.
tuned proofs;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE8015b81249b1: tuned;.
tuned;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEaeba7bb4f4d4: updated to flatlaf-1.0-rc1;.
updated to flatlaf-1.0-rc1;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE7c960e2ba33d: obsolete;.
obsolete;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE51c53a7c6473: tuned;.
tuned;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE96d87b9c2b42: workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g..
workaround for Big Sur fullscreen mode: better support for JDialog windows (e.g.
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE56107393f2ef: more NEWS;.
more NEWS;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEd63c6fcccff2: clarified platforms;.
clarified platforms;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE5a954fd5f078: clarified app identification, potentially relevant for macOS "defaults";.
clarified app identification, potentially relevant for macOS "defaults";
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEf78a3be79ad1: updated documentation: HIDPI works smoothly thanks to FlatLaf;.
updated documentation: HIDPI works smoothly thanks to FlatLaf;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEbdc8cd6f5e6e: updated screenshot;.
updated screenshot;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEc9a836122739: updated for release;.
updated for release;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE5f49f1149c1c: clarified reports before errors: support completion of bibtex entries in….
clarified reports before errors: support completion of bibtex entries in…
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEcc71193891c2: tuned;.
tuned;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE9dafcf6f152b: proper theory_long_name;.
proper theory_long_name;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE661e9bc0411e: updated screenshots;.
updated screenshots;
Sun, Jan 24, 8:01 PM
makarius added a reverting change for rISABELLE1105c42722dc: back to post-release mode;: rISABELLEd0c8e8ca3505: revert 1105c42722dc on isabelle-release branch;.
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEc98a2f82b950: more robust GUI, notably for Big Sur full-screen where the hypersearch panel….
more robust GUI, notably for Big Sur full-screen where the hypersearch panel…
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEd0c8e8ca3505: revert 1105c42722dc on isabelle-release branch;.
revert 1105c42722dc on isabelle-release branch;
Sun, Jan 24, 8:01 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 24, 7:46 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 24, 7:04 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 24, 6:44 PM

Thu, Jan 21

makarius committed rISABELLE0398f18ec76c: proper hostname;.
proper hostname;
Thu, Jan 21, 6:18 PM
makarius committed rISABELLE13bd167f4d97: more official support for macOS 11.1 Big Sur;.
more official support for macOS 11.1 Big Sur;
Thu, Jan 21, 6:09 PM

Wed, Jan 20

makarius committed rISABELLE68f0bd0c8e87: more informative error;.
more informative error;
Wed, Jan 20, 10:52 PM

Tue, Jan 19

makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Tue, Jan 19, 4:39 PM

Mon, Jan 18

makarius committed rWEBSITEe7fb0c93f72e: tuned;.
tuned;
Mon, Jan 18, 8:19 PM
makarius committed rWEBSITEcf5706747a48: clarified versions;.
clarified versions;
Mon, Jan 18, 8:02 PM
makarius closed T35: Isabelle/jEdit full-screen problem with macOS Big Sur as Resolved.

See Isabelle/96d87b9c2b42: https://isabelle.sketis.net/repos/isabelle-release/rev/96d87b9c2b42

Mon, Jan 18, 7:44 PM · isabelle-release
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.

See also https://youtrack.jetbrains.com/issue/IDEA-245026 especially the screenshot https://youtrack.jetbrains.com/api/files/74-974262?sign=MTYxMTIzODgwMDAwMHwxMS0xfDc0LTk3NDI2MnxfU3Bhekt2c3Y1QW5nUEdiajllTTdZMV9TUkg1%0D%0AcHRJOUwzcUh2aHRjNzNFDQo%0D%0A&updated=1607579744434

Mon, Jan 18, 3:25 PM · isabelle-release
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.

See also https://issues.apache.org/jira/browse/NETBEANS-5037

Mon, Jan 18, 2:48 PM · isabelle-release

Sun, Jan 17

makarius committed rISABELLE11da341c2968: merged.
merged
Sun, Jan 17, 11:07 AM
makarius committed rISABELLEca450d902198: updated to scala-2.13: its ArraySeq implementation is not usable here (requires….
updated to scala-2.13: its ArraySeq implementation is not usable here (requires…
Sun, Jan 17, 11:07 AM
makarius committed rISABELLEca17e9ebfdf1: updated to scala-2.13.4;.
updated to scala-2.13.4;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLE76bdfde8a579: clarified;.
clarified;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLE8a8ffe78eee7: clarified return code: re-use SIGALRM for soft timeout;.
clarified return code: re-use SIGALRM for soft timeout;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLEff6b5e468d5f: clarified signature: support more generic server implementations;.
clarified signature: support more generic server implementations;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLE479668d61cef: tuned;.
tuned;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLE497e11537d48: clarified signature: more operations;.
clarified signature: more operations;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLE5f8f7746b4aa: tuned comments;.
tuned comments;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLEff9cd62d2d20: proper </html>;.
proper </html>;
Sun, Jan 17, 11:07 AM
makarius committed rISABELLEb15fe413b4d2: tuned message;.
tuned message;
Sun, Jan 17, 11:07 AM
makarius committed rAFP4ee343798f76: adapted to scala-2.13.4;.
adapted to scala-2.13.4;
Sun, Jan 17, 11:07 AM

Tue, Jan 12

makarius committed rWEBSITE48899b30960c: proper tooltip;.
proper tooltip;
Tue, Jan 12, 10:19 PM
makarius committed rWEBSITE1c984b452fc8: tuned image size: scale 0.2;.
tuned image size: scale 0.2;
Tue, Jan 12, 10:11 PM
makarius committed rWEBSITE22f21ea82569: updated screenshot;.
updated screenshot;
Tue, Jan 12, 9:56 PM

Sun, Jan 10

makarius committed rWEBSITE5dafb3aedaec: tuned;.
tuned;
Sun, Jan 10, 5:27 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 10, 4:23 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 10, 4:23 PM
makarius lowered the priority of T35: Isabelle/jEdit full-screen problem with macOS Big Sur from High to Normal.

Works better with work-around, as documented in Isabelle/6345ad861a36.

Sun, Jan 10, 4:03 PM · isabelle-release
makarius committed rISABELLE1105c42722dc: back to post-release mode;.
back to post-release mode;
Sun, Jan 10, 4:01 PM
makarius committed rISABELLE70eabc309de9: Added tag Isabelle2021-RC2 for changeset 802647edfe7b.
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
Sun, Jan 10, 4:01 PM
makarius committed rISABELLE802647edfe7b: tuned;.
tuned;
Sun, Jan 10, 3:37 PM
makarius committed rISABELLEb4066bad7f76: avoid Unicode quotes;.
avoid Unicode quotes;
Sun, Jan 10, 3:37 PM
makarius committed rISABELLEcd0cd534f927: clarified pretty margin: attempt to avoid scrollbar;.
clarified pretty margin: attempt to avoid scrollbar;
Sun, Jan 10, 3:30 PM
makarius committed rISABELLE6345ad861a36: more documentation;.
more documentation;
Sun, Jan 10, 1:19 PM
makarius committed rISABELLEc3589f2dff31: more informative errors: simplify diagnosis of spurious failures reported by….
more informative errors: simplify diagnosis of spurious failures reported by…
Sun, Jan 10, 1:04 PM
makarius added a comment to rISABELLE9480a9efe19e: proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B>….

See also https://github.com/JFormDesigner/FlatLaf/issues/234 (already closed).

Sun, Jan 10, 12:12 PM

Sat, Jan 9

makarius committed rISABELLE83a2b6976515: proper labels for status message: "sidekick.parsing-complete={0} parsing….
proper labels for status message: "sidekick.parsing-complete={0} parsing…
Sat, Jan 9, 10:50 PM
makarius committed rISABELLE6a6e987552c7: clarified list of presented look-and-feels;.
clarified list of presented look-and-feels;
Sat, Jan 9, 10:50 PM
makarius committed rISABELLE9480a9efe19e: proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B>….
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B>…
Sat, Jan 9, 10:50 PM
makarius committed rISABELLEb84887a67cc6: clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);.
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
Sat, Jan 9, 10:50 PM
makarius committed rISABELLEa8e5d7c9a834: discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it….
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it…
Sat, Jan 9, 10:50 PM
makarius created Blog Post: Improved GUI look-and-feel.
Sat, Jan 9, 1:20 AM
makarius removed a project from T13: Isabelle/jEdit indenting: isabelle-release.
Sat, Jan 9, 1:18 AM
makarius closed T32: Odd font rendering problem with jdk-11.0.9 on Windows as Resolved.

Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.

Sat, Jan 9, 1:17 AM · isabelle-release
makarius closed T36: Bad rendering of JTabbedPane on macOS BigSur as Resolved.

Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.

Sat, Jan 9, 1:17 AM
makarius committed rISABELLE918f6c8b1f15: tuned GUI, notably for scalable FlatLaf;.
tuned GUI, notably for scalable FlatLaf;
Sat, Jan 9, 12:59 AM
makarius committed rWEBSITEce812065f946: updated to Isabelle/efc58b56a6c7;.
updated to Isabelle/efc58b56a6c7;
Sat, Jan 9, 12:17 AM
makarius committed rISABELLEefc58b56a6c7: clarified default L&F;.
clarified default L&F;
Sat, Jan 9, 12:16 AM