Re: [isabelle] Isabelle2016-RC2 available (Editor's Text Area vs File)

Hi Makarius,

I have experienced an unexpected behavior  this version (Windows, 64 bits)

As expected , after Isabelle/jEdit is started, it loads the file
Scratch.thy and process its contents.
However 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 image attached shows that the text area
still shows the file "Scratch.thy"
 right after I open "wf_induction.thy". At first, I thought that the
loading process was taking too long
and it took me some time to realize what was going on. Hope it is easy to
fix this.

OS info: Windows 10, Memory: 8GB, Processor: Intel i5-5200U, 2.20 GHz

The snapshot version from  23/12/2015 does not exhibit this behaviour.


On Sun, Jan 24, 2016 at 7:17 PM, Makarius <makarius at> wrote:

> Dear Isabelle users,
> Isabelle2016-RC2 is now available for further testing:
> This corresponds to the repository versions
> and
> Summary of notable points:
> - update of Poly/ML from repository, as it approaches its 5.6 release
> - update to latest jdk-8u72 from Oracle
> - less aggressive JVM GC options for improved stability
> - more robust Isabelle plugin startup within jEdit
> - fine-tuning of Isabelle symbol abbreviations (for completion)
> - fine-tuning of some Isabelle/HOL libraries
> After more than 3 weeks of testing, relatively few problems have been
> exposed.  This means there are no real problems left, or that the majority
> of users have not switched to Isabelle2016-RC yet.
> People who have tested earlier release candidates should upgrade now.
> Local settings can be preserved by copying $ISABELLE_HOME_USER in a
> suitable manner: renaming the last component of the directory name to
> Isabelle2016-RC2 before starting the new version.
> When discussing problems, observations, suggestions, etc. the mail subject
> line should be changed to something informative (but the release candidate
> number still given in the message body).
>         Makarius

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - PrÃdio 32 - Faculdade de InformÃtica
90619-900 -Porto Alegre - RS - Brasil

Attachment: rc2_text_01.PNG
Description: PNG image

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