Re: [isabelle] Porting the Isabelle/HOL to a newer version



14-year-old code won’t be easy to port. A precise answer to your question depends very much on what this code does, how big it is, and what parts of Isabelle it uses.

Larry Paulson


> On 4 Nov 2014, at 15:12, Ghassen HELALI <helali at encs.concordia.ca> wrote:
> 
> Hello fellows
> I wonder to know if there is any way to port an old Isabelle/HOL code to a
> the newest version of Isabelle.
> The old code is dated from the year 2000
> 
> 
> Regards
> --gh





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