Re: [isabelle] Ctrl-Click on abbreviation from locale in image jumps to begin of context
At the moment, I am hooked on the repository version, I have simply checked that the same
behaviour also occurs with Isabelle2013-1. But I'll see whether I find some time tomorrow
to give it a try.
You are mentioning Isabelle2013-1 above. Can you also give quick try to
http://isabelle.in.tum.de/website-Isabelle2013-2-RC3/ ? There are at least 24h more time,
before I consider making the final snapshot for Isabelle2013-2.
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.
Well, but I only hit the limits during my normal work; a quick check usually does not take
You are the expert on getting to the limits of what is possible and what not ...
This archive was generated by a fusion of
Pipermail (Mailman edition) and