Re: [isabelle] Problem with Session-Creation



On 23.10.2013 17:15, Burkhart Wolff wrote:
> Dear all,
> 
> I had recurrently a problem with the creation of a session.
> 
> I can pin it down to the following scenario:
> 
> I created a directory "Demo", went in, and fired the command:
> 
> 
> /usr/local/isabelle/Isabelle2013/bin/isabelle mkroot -d -n Test 
> 
> As expected, ROOT and document were generated, and I edited
> a simple test theory Test.thy (see below.)
> 
> I edited the ROOT file appropriately (see below.)
> 
> Finally I wanted to generate the .pdf's and the session via:
> 
> /usr/local/isabelle/Isabelle2013/bin/isabelle build  Test

You need to tell build to include the ROOT file in the current directory:

    isabelle build -d . Test

If you want to build all sessions in this ROOT file, you can also use -D:

    isabelle build -D .

  -- Lars

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.