[isabelle-dev] Isabelle release test website

Alexander Krauss krauss at in.tum.de
Mon Apr 23 22:04:28 CEST 2012

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.


More information about the isabelle-dev mailing list