Re: [isabelle] Install c-parser-to-simpl

On 28.04.2015 10:40, lyj238 at wrote:
> I want to install C-Parser, a translator of C into SIMPL:---
> I want to install as suggested as follows:
>> This code requires Isabelle2013.
> To build:
>   isabelle make
> invoked in this directory should do everything required.
Starting with Isabelle 2014, there is no "isabelle make" anymore (and
the C-parser wouldn't work with 2014 anyway). You might want to use
AutoCorres instead, it includes a version of the C-parser compatible
with Isabelle 2014:

 -- Lars Noschinski

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