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 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 MHonArc.