On 01.04.2014 07:54, Lars Noschinski wrote:
I've tried on Linux with Swing LF Nimbus, GTK+, Metal, and it all
works for me.
Do you have any special GUI or font properties? If the problem still
persists can you make a screenshot?
I made a short video:
Am 31.03.2014 23:14, schrieb Makarius:
On Fri, 28 Feb 2014, Makarius wrote:
I've made another round of refinements (presently at
Isabelle/f7ceebe2f1b5). There were some situations where the change
propagation of blobs (auxiliary files) versus theories was not right,
leading to an invalid
Currently I have the problem that when opening a file in
Multivariate_Analysis it can take quite some time until the theories it
depends on are loaded. In this time I/jEdit does not respond to mouse or
keyboard input.
For example:
1) I'm opening
On Tue, 1 Apr 2014, Johannes Hölzl wrote:
Currently I have the problem that when opening a file in
Multivariate_Analysis it can take quite some time until the theories it
depends on are loaded. In this time I/jEdit does not respond to mouse or
keyboard input.
I tried to bisect the recent
Hello
I am amazed at all the Isabelle/JEdit improvements of the last two years.
It is very impressive!
Now I started to use the development version of Isabelle instead of
Isabelle 2013-2. My work is much more productive now, e.g., fewer crashes
and the GUI is much more responsive.
But still,