On Wed, 22 Aug 2012, Christian Urban wrote:
I am used to building the nightly snapshots, which in the olden days was
conveniently done by the build script. Well, times change. ;o)
Just yesterday I've starting thinking if these snapshots still have any
purpose. Since Admin/components is
On Thu, 23 Aug 2012, Christian Urban wrote:
(1) copying etc/settings, etc/components and contrib/* from the
current working snapshot
Wait, this sounds suspicious. What is the current working snapshot? The
etc stuff in ISABELLE_HOME needs to match the version, so you should not
copy
On Thursday, August 23, 2012 at 22:37:22 (+0200), Makarius wrote:
On Thu, 23 Aug 2012, Christian Urban wrote:
(1) copying etc/settings, etc/components and contrib/* from the
current working snapshot
Wait, this sounds suspicious. What is the current working snapshot? The
Dear All,
I am used to building the nightly snapshots, which
in the olden days was conveniently done by the build
script. Well, times change. ;o)
I remember (and again verified just now) that with the
snapshot from 14 August I can build Isabelle with
./bin/isabelle build -v -s -c
