- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Jan 21 2021
Jan 21 2021
more official support for macOS 11.1 Big Sur;
Jan 20 2021
Jan 20 2021
more informative error;
Jan 19 2021
Jan 19 2021
Jan 18 2021
Jan 18 2021
clarified versions;
Jan 17 2021
Jan 17 2021
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;
Jan 12 2021
Jan 12 2021
tuned image size: scale 0.2;
updated screenshot;
Jan 10 2021
Jan 10 2021
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).
Jan 9 2021
Jan 9 2021
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;
support for additional look-and-feels;
Jan 8 2021
Jan 8 2021
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…
makarius committed rISABELLE3df45de0c079: discontinued body_range (again): does not quite work, because Position..
discontinued body_range (again): does not quite work, because Position.
makarius committed rISABELLE578a33042aa6: clarified: command keyword position is sufficient (amending 693a39f2cddc);.
clarified: command keyword position is sufficient (amending 693a39f2cddc);
tuned -- avoid old-style verbatim text;
isabelle update_cartouches;
isabelle update_cartouches;
tuned --- prefer explicit position;
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…
makarius committed rISABELLE8a20737e4ebf: support more command positions, analogous to Command.core_range in….
support more command positions, analogous to Command.core_range in…
more uniform core_range (amending def3ec9cdb7e);
Jan 7 2021
Jan 7 2021
- use jdk-15 in Isabelle/af54129abd9e
- OK: arm64-darwin and portable app launcher, e.g. see Isabelle/d08cbc36a99a
- OK: file associations work properly
- OPEN: full-screen mode, see T35: Isabelle/jEdit full-screen problem with macOS Big Sur
- OPEN: JTabbedPane, see T36: Bad rendering of JTabbedPane on macOS BigSur
clarified dock icon: setup earlier on startup;
makarius moved T34: Update component for Vampire from TODO to Backlog on the isabelle-release board.
It is unclear how to address this properly, without an update by Apple or OpenJDK (not to be expected too soon).
makarius moved T35: Isabelle/jEdit full-screen problem with macOS Big Sur from Backlog to TODO on the isabelle-release board.
makarius moved T31: Improve robustness of multithreaded Kodkod in Isabelle/Scala from TODO to Backlog on the isabelle-release board.
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).
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).
See Isabelle/162b71f7e554 and Isabelle/11de287ed481.
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…
Jan 6 2021
Jan 6 2021
proper purge for arm64-darwin;
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…
makarius committed rISABELLE99b77188d4f7: discontinued somethat pointless sharing: too complicated;.
discontinued somethat pointless sharing: too complicated;
updated jdk-15.0.1+9, including arm64-darwin;
makarius committed rISABELLE178c9d04e08c: more robust sharing, despite minimal impact on archive size;.
more robust sharing, despite minimal impact on archive size;
obsolete, thanks to zulu-jdk directory layout;
proper LSMinimumSystemVersion for zulu-jdk-15;
clarified Info.plist;
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;
makarius committed rISABELLE120ffea2c244: prefer OpenJDK from Azul: supports more versions and platforms;.
prefer OpenJDK from Azul: supports more versions and platforms;
recovered file-type icons from macos_app;
Jan 5 2021
Jan 5 2021
clarified application init;
recovered bundle icons (not application) from macos_app;
proper app directory setup, without macos_app component;
prefer official Java 9 operations;
proper dock icon for macOS;
proper isabelle_home_prefix;