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