- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Feb 8 2021
Feb 8 2021
updated to flatlaf-1.0-rc3;
more robust: allow YXML text;
makarius committed rISABELLE0575cfd2ecfc: support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML….
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML…
clarified modules: less redundancy;
makarius committed rISABELLE4c8edf348c4e: clarified modules: allow early invocation of Scala functions;.
clarified modules: allow early invocation of Scala functions;
makarius committed rISABELLE3ab0cedaccad: clarified modules: allow early definition of protocol commands;.
clarified modules: allow early definition of protocol commands;
makarius committed rISABELLE49686e3b1909: clarified links to external files, e.g. .pdf within .thy source document;.
clarified links to external files, e.g. .pdf within .thy source document;
makarius committed rISABELLEee2e803fcf57: avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated….
avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated…
updated to flatlaf-1.0-rc2;
avoid hardwired document preparation;
Feb 7 2021
Feb 7 2021
updated for release;
Feb 1 2021
Feb 1 2021
proper version for Big Sur;
updated for release;
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
clarified messages;
provide naproche-20210201;
Jan 30 2021
Jan 30 2021
clarified signature: proper order;
tuned signature: more types;
makarius committed rISABELLEde16d797adbe: more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within….
more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within…
clarified signature: more explicit types;
clarified signature;
makarius committed rISABELLEaa3d4cf7825a: clarified signature: no symbol markup within XML attributes;.
clarified signature: no symbol markup within XML attributes;
makarius committed rISABELLEb80029a40ccf: bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;.
bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
provide naproche-20210129;
makarius committed rISABELLEa9eaf8c3b728: tuned signature (e.g. see HTML.control_block in Isabelle/Scala);.
tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
proper Isabelle environment (amending 31fbde3baa97);
makarius committed rISABELLEd300574cee4e: more robust type signatures, notably for the sake of haskell-stack-trace-plugin….
more robust type signatures, notably for the sake of haskell-stack-trace-plugin…
follow Phabricator update 2021 Week 4;
updated to jdk-15.0.2+7;
more uniform directory layout for macOS;
more generic Isabelle_app;
makarius committed rISABELLE6823dddf9cf1: prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);.
prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
Jan 27 2021
Jan 27 2021
more generous timeout (25min CPU time);
non-executable files;
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);
Jan 26 2021
Jan 26 2021
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.
Jan 25 2021
Jan 25 2021
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.
Jan 24 2021
Jan 24 2021
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;