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
Well, I did test Isabelle2013-1-RC* over several weeks, but mostly
testing on it.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and