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.


	Makarius




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