Page MenuHomeIsabelle/Phabricator
Feed All Stories

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…
Wed, Jan 27, 1:09 PM
makarius committed rWEBSITE7b14b480fd4d: obsolete (see Isabelle/b8e12e94cfca);.
obsolete (see Isabelle/b8e12e94cfca);
Wed, Jan 27, 12:58 PM

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.

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
makarius committed rISABELLE7c960e2ba33d: obsolete;.
obsolete;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE51c53a7c6473: tuned;.
tuned;
Sun, Jan 24, 8:01 PM
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.
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE56107393f2ef: more NEWS;.
more NEWS;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEd63c6fcccff2: clarified platforms;.
clarified platforms;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE5a954fd5f078: clarified app identification, potentially relevant for macOS "defaults";.
clarified app identification, potentially relevant for macOS "defaults";
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEf78a3be79ad1: updated documentation: HIDPI works smoothly thanks to FlatLaf;.
updated documentation: HIDPI works smoothly thanks to FlatLaf;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEbdc8cd6f5e6e: updated screenshot;.
updated screenshot;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEc9a836122739: updated for release;.
updated for release;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE5f49f1149c1c: clarified reports before errors: support completion of bibtex entries in….
clarified reports before errors: support completion of bibtex entries in…
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEcc71193891c2: tuned;.
tuned;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE9dafcf6f152b: proper theory_long_name;.
proper theory_long_name;
Sun, Jan 24, 8:01 PM
makarius committed rISABELLE661e9bc0411e: updated screenshots;.
updated screenshots;
Sun, Jan 24, 8:01 PM
makarius added a reverting change for rISABELLE1105c42722dc: back to post-release mode;: rISABELLEd0c8e8ca3505: revert 1105c42722dc on isabelle-release branch;.
Sun, Jan 24, 8:01 PM
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…
Sun, Jan 24, 8:01 PM
makarius committed rISABELLEd0c8e8ca3505: revert 1105c42722dc on isabelle-release branch;.
revert 1105c42722dc on isabelle-release branch;
Sun, Jan 24, 8:01 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 24, 7:46 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 24, 7:04 PM
makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Sun, Jan 24, 6:44 PM
kleing committed rAFPeb0cc2599588: adjustments for Word_Lib updates.
adjustments for Word_Lib updates
Sun, Jan 24, 10:33 AM
kleing committed rAFP2332e6e5e05e: sync with l4v.
sync with l4v
Sun, Jan 24, 10:33 AM
kleing committed rAFP6bb5c735fb18: allow instance for nat.
allow instance for nat
Sun, Jan 24, 7:39 AM
kleing committed rAFP824ba5ec1ce6: merge from afp-2020.
merge from afp-2020
Sun, Jan 24, 3:12 AM
nipkow committed rAFPf2bc278d8c6e: New entry JinjaDCI.
New entry JinjaDCI
Sun, Jan 24, 3:12 AM

Fri, Jan 22

nipkow committed rAFP3c9f87745f30: `first` did not have constant time complexity.
`first` did not have constant time complexity
Fri, Jan 22, 10:30 AM
Susannah Mansky <susannahej@gmail.com> committed rAFP944776fde110: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Fri, Jan 22, 3:38 AM

Thu, Jan 21

makarius committed rISABELLE0398f18ec76c: proper hostname;.
proper hostname;
Thu, Jan 21, 6:18 PM
makarius committed rISABELLE13bd167f4d97: more official support for macOS 11.1 Big Sur;.
more official support for macOS 11.1 Big Sur;
Thu, Jan 21, 6:09 PM

Wed, Jan 20

makarius committed rISABELLE68f0bd0c8e87: more informative error;.
more informative error;
Wed, Jan 20, 10:52 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP3d82fe267f9a: Monad_Memo_DP add material on BSTs.
Monad_Memo_DP add material on BSTs
Wed, Jan 20, 7:31 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPc0a61e29529e: Monad_Memo_DP/Optimal_BST move function argmin.
Monad_Memo_DP/Optimal_BST move function argmin
Wed, Jan 20, 7:31 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP8c71faeab7b8: Optimal_BST: simplify termination proofs.
Optimal_BST: simplify termination proofs
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP22a627a8a0e2: Merged.
Merged
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP9cebf89c45f7: Monad_Memo_DP: clean proof, remove unused thms, clean tests.
Monad_Memo_DP: clean proof, remove unused thms, clean tests
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPc5e379424280: Merge updates on dynamic programming.
Merge updates on dynamic programming
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPe69090abc053: Merged.
Merged
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP0eac2d7a263d: Added example and tuned proof.
Added example and tuned proof
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP78ceb5a9dbb1: Cleaned.
Cleaned
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP1190a08539dc: Make slice abbreviation input only.
Make slice abbreviation input only
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPcddd9b09f0d0: Added bellman-ford implementation with detection of negative cycles.
Added bellman-ford implementation with detection of negative cycles
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP278bc88810fe: Only one definition of path and weight functions.
Only one definition of path and weight functions
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPdaebb0e27b64: Tuned proof automation.
Tuned proof automation
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPb9ca92c46cd9: Cleaning.
Cleaning
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP1171b510ad2a: Finished main theorems on Bellman-Ford.
Finished main theorems on Bellman-Ford
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP3944d6a35a00: Progress on true shortest paths.
Progress on true shortest paths
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPbd778b1f0c60: Cleaning.
Cleaning
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP67e783e1f268: Fixed sorries.
Fixed sorries
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPd0819b6e17c9: Closed sorries.
Closed sorries
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP6c027266d53e: Fixed guess.
Fixed guess
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFP1c40d029c4bd: Cycle detection lemma.
Cycle detection lemma
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPb9514d50aa5a: Simplified proof.
Simplified proof
Wed, Jan 20, 3:47 PM
Simon Wimmer <wimmers@in.tum.de> committed rAFPe3b9d924eefa: Improved proof of main correctness theorem for BF.
Improved proof of main correctness theorem for BF
Wed, Jan 20, 3:47 PM
nipkow committed rISABELLEbe9b73dfd3e0: added lemmas.
added lemmas
Wed, Jan 20, 9:51 AM
Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFP471f6ebae9a4: Scott continuity not assuming strictness.
Scott continuity not assuming strictness
Wed, Jan 20, 3:11 AM
Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFP7812e4b5109f: updated description.
updated description
Wed, Jan 20, 3:11 AM
Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFPa744362b6529: forgotten commits.
forgotten commits
Wed, Jan 20, 2:27 AM
Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFP01c79f4098cd: updating entry for LMCS submission.
updating entry for LMCS submission
Wed, Jan 20, 1:56 AM

Tue, Jan 19

makarius updated the post content for Blog Post: Release Candidates for Isabelle2021.
Tue, Jan 19, 4:39 PM
paulson <lp15@cam.ac.uk> committed rAFP4ae553526864: Merge.
Merge
Tue, Jan 19, 4:20 PM
paulson <lp15@cam.ac.uk> committed rAFP016604dd1cab: tidied a definition and proof.
tidied a definition and proof
Tue, Jan 19, 4:20 PM
Fabian Huch <huch@in.tum.de> committed rAFPc27ff156ee88: fix(scala): Updated code for 2.13.
fix(scala): Updated code for 2.13
Tue, Jan 19, 4:13 PM
Asta Halkjær From <andro.from@gmail.com> committed rAFPb4690943adb9: Updated comment.
Updated comment
Tue, Jan 19, 11:53 AM

Mon, Jan 18

makarius committed rWEBSITEe7fb0c93f72e: tuned;.
tuned;
Mon, Jan 18, 8:19 PM
makarius committed rWEBSITEcf5706747a48: clarified versions;.
clarified versions;
Mon, Jan 18, 8:02 PM
makarius closed T35: Isabelle/jEdit full-screen problem with macOS Big Sur as Resolved.

See Isabelle/96d87b9c2b42: https://isabelle.sketis.net/repos/isabelle-release/rev/96d87b9c2b42

Mon, Jan 18, 7:44 PM · isabelle-release
nipkow committed rAFPbfb55826ffc0: New entry Hood_Melville_Queue.
New entry Hood_Melville_Queue
Mon, Jan 18, 5:09 PM
makarius added a comment to T35: Isabelle/jEdit full-screen problem with macOS Big Sur.

See also https://youtrack.jetbrains.com/issue/IDEA-245026 especially the screenshot https://youtrack.jetbrains.com/api/files/74-974262?sign=MTYxMTIzODgwMDAwMHwxMS0xfDc0LTk3NDI2MnxfU3Bhekt2c3Y1QW5nUEdiajllTTdZMV9TUkg1%0D%0AcHRJOUwzcUh2aHRjNzNFDQo%0D%0A&updated=1607579744434

Mon, Jan 18, 3:25 PM · isabelle-release