[isabelle-dev] Isabelle release test website

Makarius makarius at sketis.net
Wed Apr 25 16:19:54 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.

This is now addressed uniformly for all platforms in 
Isabelle/936df5d02dc9, which also requires Java 6 to build.

It might be possible to run on Java 7, but this is not officially 
supported for the release now.


More information about the isabelle-dev mailing list