Fri, 22 Aug 2008 17:49:42 +0200 | wenzelm | the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality; | changeset | files |
Fri, 22 Aug 2008 17:06:19 +0200 | wenzelm | Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%); | changeset | files |
Fri, 22 Aug 2008 17:05:46 +0200 | wenzelm | Isabelle font, based on TeX glyhps; | changeset | files |