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.
Arrows are no longer needed because of redesign of the
authorberghofe
Mon, 17 May 1999 17:20:26 +0200
changeset 6656 ef4c2504fac3
parent 6655 c151515d4efa
child 6657 9627197bd9e1
Arrows are no longer needed because of redesign of the html pages.
lib/images/blue_arrow.gif file | annotate | diff | comparison | revisions
lib/images/red_arrow.gif file | annotate | diff | comparison | revisions 
Binary file lib/images/blue_arrow.gif has changed
Binary file lib/images/red_arrow.gif has changed
isabelle