Re: [isabelle] building the afp sample submission
Thank you for your help. I managed to create the basic AFP
structure. The Example-Submission is too old and it does
not work with isabelle build. I have created my directory
based on an ordinary AFP entry. Maybe it would be good
if AFP example points to an actual entry in AFP which is
On 05/19/2014 12:14 PM, Fabian Immler wrote:
> Nowadays, sessions are defined in ROOT-files (those can be created with "isabelle mkroot", see Chap. 3 of the Isabelle System Manual).
> You build them with "isabelle build", so in the directory containing the submission, you should be able to do:
> "isabelle build -d . Example-Submission"
> "isabelle build -D ."
> Best regards,
> Am 19.05.2014 um 10:57 schrieb Viorel Preoteasa <viorel.preoteasa at aalto.fi>:
>> I am trying to build the Isabelle AFP sample submission. I know
>> that in the past "isabelle make" did the job, but now make does
>> not seem available anymore, and I could not figure out what
>> is the replacement.
>> Best regards,
>> Viorel Preoteasa
This archive was generated by a fusion of
Pipermail (Mailman edition) and