Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:
- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Feb 17 2020
Feb 17 2020
Feb 14 2020
Feb 14 2020
Feb 11 2020
Feb 11 2020
Feb 10 2020
Feb 10 2020
An Atlassian / Bitbucket spokesperson says "there are no plans to remove Hg from SourceTree" (see
https://community.atlassian.com/t5/Bitbucket-articles/What-to-do-with-your-Mercurial-repos-when-Bitbucket-sunsets/ba-p/1155380#M176).
Dec 22 2019
Dec 22 2019
Dec 16 2019
Dec 16 2019
makarius updated the image for isabelle-release from F1851: fa-briefcase-blue.png to F1852: fa-briefcase-blue.png.
makarius updated the image for isabelle-release from F1850: fa-briefcase-blue.png to F1851: fa-briefcase-blue.png.
makarius updated the image for isabelle-release from F1849: profile to F1850: fa-briefcase-blue.png.
Dec 1 2019
Dec 1 2019
Works sufficiently well according to Isabelle website a34d4206d9a9.
Nov 30 2019
Nov 30 2019
Open question: What does "notarization" really mean, especially for add-on executables, even embedded executables as in sqlite-jdbc? Do we have to rebuild and "bless" all binaries with an official developer id?
Nov 29 2019
Nov 29 2019
Oct 4 2019
Oct 4 2019
Oct 3 2019
Oct 3 2019
Oct 2 2019
Oct 2 2019
Sep 26 2019
Sep 26 2019
Sep 25 2019
Sep 25 2019