[isabelle] Recompiling isabelle



Hello

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.

Steve




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