Page MenuHomeIsabelle/Phabricator

Open Tasks

Low (6)

Wishlist (1)

Active Repositories

Recent Activity

Yesterday

Simon Foster <simon.foster@york.ac.uk> committed rAFP673d657bb3eb: Small update to Optics document..
Small update to Optics document.
Wed, Jan 27, 8:54 PM
Simon Foster <simon.foster@york.ac.uk> committed rAFP0274abcc03be: Merge.
Merge
Wed, Jan 27, 8:54 PM
makarius committed rAFPdb241c4c36c8: merged.
merged
Wed, Jan 27, 8:27 PM
makarius committed rAFP51acef257c90: more generous timeout (25min CPU time);.
more generous timeout (25min CPU time);
Wed, Jan 27, 8:27 PM
makarius committed rAFP02a4bc4b6ee8: non-executable files;.
non-executable files;
Wed, Jan 27, 8:27 PM
Simon Foster <simon.foster@york.ac.uk> committed rAFP5a13e3f6bce8: Added metadata for previous commit (Optics)..
Added metadata for previous commit (Optics).
Wed, Jan 27, 5:47 PM
Simon Foster <simon.foster@york.ac.uk> committed rAFPfa453ac871a2: Addition of theorems throughout, particularly for prisms..
Addition of theorems throughout, particularly for prisms.
Wed, Jan 27, 5:46 PM
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

Tue, Jan 26

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