[isabelle-dev] Isabelle/Admin area

We are heading towards a release, which is the time to consolidate and improve the overall setup (currently at Isabelle/692a1b317316). The Isabelle/Admin directory is the authoritative place where Isabelle self-administration happens. E.g. Isabelle/Admin/Release has a few notes and scripts for

[isabelle-dev] Nightly Isabelle application bundles

http://isabelle.in.tum.de/devel provides nightly snapshots from the Isabelle repository -- as fully-integrated application bundles for all platform families. (That website might evolve later, and the link move further inside.) The implementation in Isabelle/Scala can be seen here:

[isabelle-dev] NEWS: session profiling

*** System *** * System option "profiling" specifies the mode for global ML profiling in "isabelle build". Possible values are "time", "allocations". This refers to Isabelle/b00508facb4f and 3d5e7719e878, which provides an updated "isabelle profiling_report" tool (that is not in the NEWS,

[isabelle-dev] macOS Sierra 10.12

Apple has released macOS Sierra 10.12 some weeks ago, but I missed that, because my test hardware from 2009 is no longer supported and thus there was no update notification. Has anybody tried Sierra already? That can be done by the .dmg provided on http://isabelle.in.tum.de/devel The official

Re: [isabelle-dev] macOS Sierra 10.12

Hello Makarius, > Has anybody tried Sierra already? That can be done by the .dmg provided > on http://isabelle.in.tum.de/devel I am using Isabelle devel and RC0 on Sierra (for two weeks), without problem so far. Mathias > The official platform support

Re: [isabelle-dev] Distro broken

On 20/10/16 10:19, Tobias Nipkow wrote: > We never promised that the new test infrastructure would guarantee that > nobody will break the repository anymore. You are perfectly aware of > this. So stop trolling. > On 19/10/2016 13:52, Makarius wrote: >> On 19/10/16 13:38, Lars Hupel wrote: >>> Oh,