Re: [isabelle] building the afp sample submission


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>:

> Hello,
> 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 MHonArc.