Re: [isabelle] Ctrl-Click on abbreviation from locale in image jumps to begin of context



On Wed, 4 Dec 2013, Andreas Lochbihler wrote:

Isabelle2013-1 did not work out so well, due to too few people putting hard measures of
testing on it.
Well, I did test Isabelle2013-1-RC* over several weeks, but mostly ProofGeneral.

There were various changes for Isabelle2013-2 that affect interaction and process management in general: TTY, Proof General, PIDE document editing. So it is important to see if it still works for you.


	Makarius




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