Re: [isabelle] replace "isabelle tty"



On Fri, 21 Nov 2014, Cezary Kaliszyk wrote:

There is also a different approach to simulating the TTY/ProofGeneral interaction with Isabelle.

Concerning the general topic of the relation Isabelle/Scala/PIDE vs. the now removed TTY / Proof General interaction mode, see also this blog entry of mine: http://sketis.net/2014/discontinuation-of-isabelle-proof-general


	Makarius

----------------------------------------------------------------------------
                  http://stop-ttip.org  935,236 people so far
----------------------------------------------------------------------------




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