[isabelle] Recompiling isabelle


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? The changes I've made is to some files in Provers/. Thanks for
the help.


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