[isabelle-dev] Update of jdk and jedit components

Mathias Fleury Mathias.Fleury at ens-rennes.fr
Wed Nov 4 11:27:27 CET 2015

Hello Makarius,

I am a bit surprised that the content of the tooltips and the output panel can be changed (both in 6d513469f9b2 and Isabelle_23-Oct-2015).

Step to reproduce:
  * open a theory file
  * type a lemma
  * select some text of the output panel
  * type any letter

Result: the selected text is gone and replaced by what has been typed. 
Expected: the output panel should not be changed.

Strangely, the delete key keeps removing text from the theory buffer. I could not reproduce this behavior in Isabelle2015, but I do not know when this started.


> On 23 Oct 2015, at 23:22, Makarius <makarius at sketis.net> wrote:
> In Isabelle/d40f906bb13f there is now jdk-8u66 and jedit-5.3.0.  There are relatively few changes from upstream; this is mainly consolidation.
> As we are slowly approaching the pre-release mode, it is important to keep an eye an all the fine points on all platforms.  Does Java 8 really work as it should?
> Here is a full integration test of the application bundles for Linux, Windows, Windows 64, Mac OS X:
>  http://www4.in.tum.de/~wenzelm/test/Isabelle_23-Oct-2015
> Various details of the "app" have changed in the past few weeks, so it is important to take a look if it conforms to the principle of monotonic improvements that we've had in Isabelle for almost 30 years.
> For example, all platforms now uniformly support a single-instance model of the main desktop application.
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- n?chster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20151104/8f499b9e/attachment.html>

More information about the isabelle-dev mailing list