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.
Alex
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
