[isabelle] Incompatibilities between releases (Re: Syntax for theory definitions)



Dear Jeremy,

I fully agree with Alexander that incompatibilities
are nasty, but unavoidable, if the development
of Isabelle proceeds with the same pace as before.

I'd like to add, however, that the portability of
CODE on the ML level is not that bad;  Proofs break
more often as tactic code in my experience.
I am porting stuff since Isabelle 94 ...

bu






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