Fri, 22 Aug 2008 18:35:15 +0200 | wenzelm | renamed to IsabelleMono; | changeset | files |
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 |