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.


	Makarius






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