Re: [isabelle] Disk usage in ~/.isabelle/contrib
On Mon, 8 Feb 2016, Matthew Fernandez wrote:
You are completely correct, Makarius. I forgot that we (Data61) were using a
repository snapshot, rather than a release.
Why not use the shrink-wrapped official release? (This is not a
rhetoric question, but the key question on this thread.)
So what are the reasons for people at Data61 using a repository snapshot?
I thought that vice had been given up in 2005.
Or is it an official Isabelle release that has been "spiced up" by local
In the latter case, I recommend to produce a proper release locally, with
a name that is derived from the official one, but different from it.
E.g. like this:
hg tag Isabelle2016-Data61
Admin/Release/build -O -r Isabelle2016-Data61
This works in Linux and Mac OS X (e.g. Mountain Lion), but the latter is
required to produce macos bundles. Linux can produce only linux and
windows bundles, and the fonts of documentation is bad, because Gerwin and
Tobias like strange fonts.
This archive was generated by a fusion of
Pipermail (Mailman edition) and