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.
> 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
This archive was generated by a fusion of
Pipermail (Mailman edition) and