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.

Jasmin






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