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



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.