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.
removed generated files from repository;
authorwenzelm
Wed, 21 Oct 2015 16:53:33 +0200
changeset 61496 27873217f25c
parent 61495 5199b011ecbe
child 61497 8b5559c2647c
removed generated files from repository;
lib/fonts/IsabelleText.ttf file | annotate | diff | comparison | revisions
lib/fonts/IsabelleTextBold.ttf file | annotate | diff | comparison | revisions 
Binary file lib/fonts/IsabelleText.ttf has changed
Binary file lib/fonts/IsabelleTextBold.ttf has changed
isabelle