[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Isarmathlib-devel] what do I download for ZF and where do I put it?
|
From: |
Jim Kingdon |
|
Subject: |
Re: [Isarmathlib-devel] what do I download for ZF and where do I put it? |
|
Date: |
Sun, 30 Oct 2011 22:56:21 -0400 |
|
User-agent: |
SquirrelMail/1.4.22 |
> You need to go to the Isabelle2011-1 directory where the build script is
> and run
>
> ./build ZF
Thanks, that works (I'm on to some latex error–probably just need to
install something–but I'll leave that for another day).
Do you want to update the INSTALL file or should I send a patch?