User Details
User Details
- User Since
- Sep 24 2019, 9:33 PM (70 w, 17 h)
- Roles
- Administrator
Today
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…
obsolete (see Isabelle/b8e12e94cfca);
Yesterday
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.
Mon, Jan 25
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;
makarius moved T37: macOS app bundle cannot access folders Desktop, Documents, Downloads from Backlog to TODO on the isabelle-release board.
makarius added a comment to T37: macOS app bundle cannot access folders Desktop, Documents, Downloads.
See also:
makarius triaged T37: macOS app bundle cannot access folders Desktop, Documents, Downloads as Normal priority.
Sun, Jan 24
Sun, Jan 24
merged, with minor edits: Admin/PLATFORMS, CONTRIBUTORS;
provide naproche-20210124 (inactive);
Added tag Isabelle2021-RC3 for changeset 02422c9add5e
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;
more operations for client connection;
follow stackage update;
fewer warnings, notably in Naproche-SAD;
IDE support for Naproche-SAD;
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…
more robust etc/settings;
support isabelle components -u and -x;
proper typescript version, required for "vsce package";
proper type constraint;
VSCode extension for official Isabelle release;
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…
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;
clarified documentation concerning macOS Big Sur;
updated to flatlaf-1.0-rc1;
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.
clarified platforms;
makarius committed rISABELLE5a954fd5f078: clarified app identification, potentially relevant for macOS "defaults";.
clarified app identification, potentially relevant for macOS "defaults";
makarius committed rISABELLEf78a3be79ad1: updated documentation: HIDPI works smoothly thanks to FlatLaf;.
updated documentation: HIDPI works smoothly thanks to FlatLaf;
updated screenshot;
updated for release;
makarius committed rISABELLE5f49f1149c1c: clarified reports before errors: support completion of bibtex entries in….
clarified reports before errors: support completion of bibtex entries in…
proper theory_long_name;
updated screenshots;
makarius added a reverting change for rISABELLE1105c42722dc: back to post-release mode;: rISABELLEd0c8e8ca3505: revert 1105c42722dc on isabelle-release branch;.
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…
revert 1105c42722dc on isabelle-release branch;
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Thu, Jan 21
Thu, Jan 21
more official support for macOS 11.1 Big Sur;
Wed, Jan 20
Wed, Jan 20
more informative error;
Tue, Jan 19
Tue, Jan 19
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Mon, Jan 18
Mon, Jan 18
clarified versions;
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.
Sun, Jan 17
Sun, Jan 17
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…
updated to scala-2.13.4;
clarified return code: re-use SIGALRM for soft timeout;
makarius committed rISABELLEff6b5e468d5f: clarified signature: support more generic server implementations;.
clarified signature: support more generic server implementations;
clarified signature: more operations;
adapted to scala-2.13.4;
Tue, Jan 12
Tue, Jan 12
tuned image size: scale 0.2;
updated screenshot;
Sun, Jan 10
Sun, Jan 10
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
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.
back to post-release mode;
Added tag Isabelle2021-RC2 for changeset 802647edfe7b
avoid Unicode quotes;
clarified pretty margin: attempt to avoid scrollbar;
more documentation;
makarius committed rISABELLEc3589f2dff31: more informative errors: simplify diagnosis of spurious failures reported by….
more informative errors: simplify diagnosis of spurious failures reported by…
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).
Sat, Jan 9
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…
clarified list of presented look-and-feels;
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>…
makarius committed rISABELLEb84887a67cc6: clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);.
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
makarius committed rISABELLEa8e5d7c9a834: discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it….
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it…
Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.
Avoid problem by using FlatLaf: Isabelle/efc58b56a6c7.
tuned GUI, notably for scalable FlatLaf;
updated to Isabelle/efc58b56a6c7;
clarified default L&F;