Page MenuHomeIsabelle/Phabricator

makarius (Makarius Wenzel)
UserAdministrator

Projects

User Details

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

Recent Activity

Yesterday

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
makarius committed rISABELLE01f4965fd09b: support for additional look-and-feels;.
support for additional look-and-feels;
Sat, Jan 9, 12:16 AM

Fri, Jan 8

makarius committed rISABELLEc87ca43ebd3b: avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new….
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new…
Fri, Jan 8, 10:42 PM
makarius committed rISABELLE3df45de0c079: discontinued body_range (again): does not quite work, because Position..
discontinued body_range (again): does not quite work, because Position.
Fri, Jan 8, 8:55 PM
makarius committed rISABELLEf062d19c4b44: merged.
merged
Fri, Jan 8, 8:55 PM
makarius committed rISABELLE578a33042aa6: clarified: command keyword position is sufficient (amending 693a39f2cddc);.
clarified: command keyword position is sufficient (amending 693a39f2cddc);
Fri, Jan 8, 8:55 PM
makarius committed rAFP37f216da1cab: merged.
merged
Fri, Jan 8, 8:55 PM
makarius committed rAFP77d6721f525d: tuned -- avoid old-style verbatim text;.
tuned -- avoid old-style verbatim text;
Fri, Jan 8, 8:55 PM
makarius committed rAFP0d86fcd673f9: isabelle update_cartouches;.
isabelle update_cartouches;
Fri, Jan 8, 8:55 PM
makarius committed rISABELLE87067698ae53: isabelle update_cartouches;.
isabelle update_cartouches;
Fri, Jan 8, 3:47 PM
makarius committed rISABELLE3d5d949cd865: tuned --- prefer explicit position;.
tuned --- prefer explicit position;
Fri, Jan 8, 3:47 PM
makarius committed rISABELLEccbefeb3a50d: tuned;.
tuned;
Fri, Jan 8, 3:47 PM
makarius committed rISABELLE693a39f2cddc: recovered body_range from eca176f773e0 --- its Command.core_range is in….
recovered body_range from eca176f773e0 --- its Command.core_range is in…
Fri, Jan 8, 3:47 PM
makarius committed rISABELLE8a20737e4ebf: support more command positions, analogous to Command.core_range in….
support more command positions, analogous to Command.core_range in…
Fri, Jan 8, 3:47 PM
makarius committed rISABELLEe700ede0038f: tuned;.
tuned;
Fri, Jan 8, 3:47 PM
makarius committed rISABELLE84cde7fc4b86: more uniform core_range (amending def3ec9cdb7e);.
more uniform core_range (amending def3ec9cdb7e);
Fri, Jan 8, 3:47 PM

Thu, Jan 7

makarius closed T33: Update to jdk-11.0.10, notably for macOS Big Sur as Resolved.
Thu, Jan 7, 2:02 PM · isabelle-release
makarius committed rISABELLEd08cbc36a99a: clarified dock icon: setup earlier on startup;.
clarified dock icon: setup earlier on startup;
Thu, Jan 7, 2:01 PM
makarius committed rISABELLE86a18742e5b2: clarified NEWS;.
clarified NEWS;
Thu, Jan 7, 2:01 PM
makarius triaged T36: Bad rendering of JTabbedPane on macOS BigSur as Normal priority.
Thu, Jan 7, 1:55 PM
makarius created T36: Bad rendering of JTabbedPane on macOS BigSur.
Thu, Jan 7, 1:55 PM
makarius moved T34: Update component for Vampire from TODO to Backlog on the isabelle-release board.
Thu, Jan 7, 1:51 PM · provers, isabelle-release
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.

It is unclear how to address this properly, without an update by Apple or OpenJDK (not to be expected too soon).

Thu, Jan 7, 1:51 PM · isabelle-release
makarius moved T35: Isabelle/jEdit full-screen problem with macOS Big Sur from Backlog to TODO on the isabelle-release board.
Thu, Jan 7, 1:48 PM · isabelle-release
makarius triaged T35: Isabelle/jEdit full-screen problem with macOS Big Sur as High priority.
Thu, Jan 7, 1:48 PM · isabelle-release
makarius moved T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala from TODO to Backlog on the isabelle-release board.
Thu, Jan 7, 1:39 PM · isabelle-release
makarius renamed T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon) from Missing minisat.dll for nitpick/kodkod on Windows to Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).
Thu, Jan 7, 1:37 PM · provers, isabelle-release
makarius added a comment to T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).

Also missing: arm64-linux, arm64-darwin (relavant for native JDK on macOS).

Thu, Jan 7, 1:18 PM · provers, isabelle-release
makarius closed T30: Component and Isabelle/ML setup for Zipperposition as Resolved.

See Isabelle/162b71f7e554 and Isabelle/11de287ed481.

Thu, Jan 7, 1:17 PM · provers
makarius committed rISABELLE131ab1a941dd: try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle….
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle…
Thu, Jan 7, 12:04 AM

Wed, Jan 6

makarius committed rISABELLE9db6072eb711: proper purge for arm64-darwin;.
proper purge for arm64-darwin;
Wed, Jan 6, 6:24 PM
makarius committed rISABELLEbf573ed376ef: detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within….
detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within…
Wed, Jan 6, 6:24 PM
makarius committed rISABELLE99b77188d4f7: discontinued somethat pointless sharing: too complicated;.
discontinued somethat pointless sharing: too complicated;
Wed, Jan 6, 6:24 PM
makarius committed rISABELLEaf54129abd9e: updated jdk-15.0.1+9, including arm64-darwin;.
updated jdk-15.0.1+9, including arm64-darwin;
Wed, Jan 6, 6:24 PM
makarius committed rISABELLE198fe1e7ed32: less verbose;.
less verbose;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLE178c9d04e08c: more robust sharing, despite minimal impact on archive size;.
more robust sharing, despite minimal impact on archive size;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLE4f1df8d3707b: obsolete, thanks to zulu-jdk directory layout;.
obsolete, thanks to zulu-jdk directory layout;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLEb595bcdf5bf3: proper LSMinimumSystemVersion for zulu-jdk-15;.
proper LSMinimumSystemVersion for zulu-jdk-15;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLE4a117b57e622: clarified Info.plist;.
clarified Info.plist;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLEe67d659d7a41: more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;.
more direct ISABELLE_JDK_HOME, thanks to zulu-jdk directory layout;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLE120ffea2c244: prefer OpenJDK from Azul: supports more versions and platforms;.
prefer OpenJDK from Azul: supports more versions and platforms;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLEb34d24153a47: sort lines;.
sort lines;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLE824815ec52aa: more NEWS;.
more NEWS;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLE66d775f7a6e8: tuned;.
tuned;
Wed, Jan 6, 6:23 PM
makarius committed rISABELLE75bd49ba9c28: recovered file-type icons from macos_app;.
recovered file-type icons from macos_app;
Wed, Jan 6, 6:23 PM

Tue, Jan 5

makarius committed rISABELLEd44552bf310f: clarified application init;.
clarified application init;
Tue, Jan 5, 11:19 PM
makarius committed rISABELLE893310d6d76d: recovered bundle icons (not application) from macos_app;.
recovered bundle icons (not application) from macos_app;
Tue, Jan 5, 11:19 PM
makarius committed rISABELLEa1d4c9f5207a: more robust;.
more robust;
Tue, Jan 5, 11:19 PM
makarius committed rISABELLEe8b8e9a6330f: proper app directory setup, without macos_app component;.
proper app directory setup, without macos_app component;
Tue, Jan 5, 11:19 PM
makarius committed rISABELLE7460f92d63fc: prefer official Java 9 operations;.
prefer official Java 9 operations;
Tue, Jan 5, 11:19 PM
makarius committed rISABELLE7ef8d77ee761: proper dock icon for macOS;.
proper dock icon for macOS;
Tue, Jan 5, 11:19 PM
makarius committed rISABELLEf996348d28ee: obsolete;.
obsolete;
Tue, Jan 5, 11:19 PM
makarius committed rISABELLE8d9fb810462b: proper isabelle_home_prefix;.
proper isabelle_home_prefix;
Tue, Jan 5, 11:19 PM