Re: [isabelle] Recompiling isabelle

Am 29.09.2010 um 16:12 schrieb Steve W:

> Just for experimental reasons, I've made some changes to the source of
> Isabelle. How do I recompile Isabelle from source? Is rebuilding the logics
> sufficient?

Yes, rebuilding the logics is sufficient.


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