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. Mathias > On 23 Oct 2015, at 23:22, Makarius <makar...@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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
