[isabelle-dev] Update of jdk and jedit components
Mathias.Fleury at ens-rennes.fr
Wed Nov 4 11:27:27 CET 2015
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:
> 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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- n?chster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
More information about the isabelle-dev