Re: [isabelle] Recompiling isabelle

On Wed, 29 Sep 2010, Steve W wrote:

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

Just use the Isabelle2009-2/build executable -- there are also some options, pass -? for help.


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