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:
jEdit is able to open the URL directly, but you cannot save it back in the
same place for obvious reasons.
This archive was generated by a fusion of
Pipermail (Mailman edition) and