Re: [isabelle] How do I do stone age interaction?



On Mon, 29 Nov 2010, Makarius wrote:

Their is also a newer (totally adhoc) snapshot at http://www.lri.fr/~wenzel/Isar2010-Orsay/download.html which makes "Isabelle" start the IDE immediately, without Proof General legacy.

The following file might help with the quickstart: http://www.lri.fr/~wenzel/Isar2010-Orsay/Editor.thy

jEdit is able to open the URL directly, but you cannot save it back in the same place for obvious reasons.


	Makarius





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