| Sat, 06 Sep 2008 21:55:43 +0200 | wenzelm | replaced single quote by mathematical prime; | file | diff | annotate |
| Sun, 24 Aug 2008 14:43:59 +0200 | wenzelm | fixed rangle; | file | diff | annotate |
| Sun, 24 Aug 2008 14:33:26 +0200 | wenzelm | use dash from text font, not math; | file | diff | annotate |
| Sun, 24 Aug 2008 14:19:34 +0200 | wenzelm | added glyphs for \<A> (cal), \<a> (rm), \<AA> (\frak), \<aa> (frak); | file | diff | annotate |
| Fri, 22 Aug 2008 18:35:15 +0200 | wenzelm | renamed to IsabelleMono; | file | diff | annotate |
| Fri, 22 Aug 2008 17:49:42 +0200 | wenzelm | the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality; | file | diff | annotate |
| Fri, 22 Aug 2008 17:06:19 +0200 | wenzelm | Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%); | file | diff | annotate |