[isabelle-dev] Building nightly snapshots
christian.urban at kcl.ac.uk
Fri Aug 24 07:16:34 CEST 2012
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
> etc stuff in ISABELLE_HOME needs to match the version, so you should not
> copy anything from one to another.
> You probably suffer from a mismatch related to Isabelle/9032f4bdf205,
> where I rearranged etc/components a little, and added ROOTS.
Excellent! That solved it. Thanks a lot. Even the programming
cookbook now produces a pdf again (thanks to Dmitriy).
More information about the isabelle-dev