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.
more isabelle logos (from isabelle_transparent.ico);
authorwenzelm
Thu, 05 Dec 2013 19:47:48 +0100
changeset 54675 ad329fef3023
parent 54674 dae47f997268
child 54676 6b2ca4850b71
more isabelle logos (from isabelle_transparent.ico);
lib/logo/isabelle_transparent-16.gif file | annotate | diff | comparison | revisions
lib/logo/isabelle_transparent-24.gif file | annotate | diff | comparison | revisions
lib/logo/isabelle_transparent-32.gif file | annotate | diff | comparison | revisions
lib/logo/isabelle_transparent-48.gif file | annotate | diff | comparison | revisions 
Binary file lib/logo/isabelle_transparent-16.gif has changed
Binary file lib/logo/isabelle_transparent-24.gif has changed
Binary file lib/logo/isabelle_transparent-32.gif has changed
Binary file lib/logo/isabelle_transparent-48.gif has changed
isabelle