Re: [isabelle] Remaining reasons for Proof General



On Tue, 12 Nov 2013, Manuel Eberl wrote:

I must admit I did not know about this option before; it must be rather new.

It is new in Isabelle2013-1 as the NEWS tell.

(Arbitrary repository snapshots of Isabelle are off-topic on this mailing list.)


	Makarius




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