[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


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