[isabelle-dev] Building nightly snapshots

Christian Urban 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).

Christian



More information about the isabelle-dev mailing list