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.
added images for HTML files
authorclasohm
Tue, 24 Oct 1995 13:54:00 +0100
changeset 1292 f55472745044
parent 1291 e173be970d27
child 1293 4ade5d1d369c
added images for HTML files
src/Tools/blue_arrow.gif file | annotate | diff | comparison | revisions
src/Tools/green_arrow.gif file | annotate | diff | comparison | revisions
src/Tools/red_arrow.gif file | annotate | diff | comparison | revisions 
Binary file src/Tools/blue_arrow.gif has changed
Binary file src/Tools/green_arrow.gif has changed
Binary file src/Tools/red_arrow.gif has changed
isabelle