Active Repositories
Active Repositories
- rISABELLE Isabelle
- Wed, Jan 27, 1:08 PM2021-01-27 13:08:07 (UTC+1)
- Mercurial
- rWEBSITE isabelle-website
- Wed, Jan 27, 12:57 PM2021-01-27 12:57:42 (UTC+1)
- Mercurial
- rPOLYML Poly/ML
- Nov 28 2020, 11:56 AM2020-11-28 11:56:42 (UTC+1)
- Git
Recent Activity
Recent Activity
Yesterday
Yesterday
Simon Foster <simon.foster@york.ac.uk> committed rAFP673d657bb3eb: Small update to Optics document..
Small update to Optics document.
more generous timeout (25min CPU time);
non-executable files;
Simon Foster <simon.foster@york.ac.uk> committed rAFP5a13e3f6bce8: Added metadata for previous commit (Optics)..
Added metadata for previous commit (Optics).
Simon Foster <simon.foster@york.ac.uk> committed rAFPfa453ac871a2: Addition of theorems throughout, particularly for prisms..
Addition of theorems throughout, particularly for prisms.
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);
Tue, Jan 26
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.
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;