| Fri, 22 Aug 2008 18:31:02 +0200 | wenzelm | added README with original licenses; | changeset | files |
| Fri, 22 Aug 2008 17:54:40 +0200 | wenzelm | renamed Isabelle to IsabelleItalic; | changeset | files |
| Fri, 22 Aug 2008 17:53:15 +0200 | wenzelm | fixed rangle glyph; | changeset | files |
| 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 |