[isabelle-dev] Isabelle release test website

Makarius makarius at sketis.net
Mon Apr 23 23:09:15 CEST 2012

On Mon, 23 Apr 2012, Alexander Krauss wrote:

> On 04/23/2012 05:22 PM, Makarius wrote:
>> Here is an update of the test website for warming up a bit more
>> http://www4.in.tum.de/~wenzelm/test/website/
> From the monolithic Windows App (with Windows 7):
> The font in the little symbol replacement popup seems to be wrong: When I 
> enter ==>, I just see a little box in that popup. In the main buffer, the 
> symbol is displayed correctly.

Well-spotted.  I've addressed this old Isabelle/jEdit problem in 
Isabelle/b9e2ed4b1579, but then figured out that it breaks old Java 1.6 on 
Mac OS X, so I had to revert it.  It is one of these moments where it is 
unclear if Windows or Mac OS X is more annoying.

But it seems to be actually a general issue with ListCellRenderer JVM 1.6 
vs. 1.7 and Java vs. Scala generics.  If I don't get a better idea, I 
might produce an auxiliary module for ListCellRenderer to be compiled in 
too variants.


More information about the isabelle-dev mailing list