Re: [isabelle] Isabelle2016-RC2 available (Editor's Text Area vs File)
On Thu, 28 Jan 2016, Alfio Martini wrote:
when I load another theory file (via open), it does not appear in text
area of the editor. I have to select it from the drop-down buffer list
switcher in order to make it visible in the edit pane's text area.
The snapshot version from 23/12/2015 does not exhibit this behaviour.
Can you try http://isabelle.in.tum.de/website-Isabelle2016-RC1 as well?
The main difference is the Java 8 version. Maybe Oracle has introduced
new problems with the update.
This archive was generated by a fusion of
Pipermail (Mailman edition) and