Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
generated ttf;
authorwenzelm
Fri, 22 Aug 2008 18:38:00 +0200
changeset 29079 b9be5a4fc5c7
parent 29078 006334dd31a0
child 29080 2671cb2e55ac
generated ttf;
lib/fonts/IsabelleItalic.ttf file | annotate | diff | comparison | revisions
lib/fonts/IsabelleMono.ttf file | annotate | diff | comparison | revisions 
Binary file lib/fonts/IsabelleItalic.ttf has changed
Binary file lib/fonts/IsabelleMono.ttf has changed
isabelle