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.
fix cvs id
authorkleing
Fri, 16 Apr 2004 10:21:06 +0200
changeset 14584 76b81ae4031f
parent 14583 efbee41e85c2
child 14585 6cf696e5ef7f
fix cvs id
Admin/README.repos file | annotate | diff | comparison | revisions 
--- a/Admin/README.repos	Fri Apr 16 10:20:34 2004 +0200
+++ b/Admin/README.repos	Fri Apr 16 10:21:06 2004 +0200
@@ -51,4 +51,4 @@
   $ISABELLE_HOME_USER is the directory "~/isabelle".
 
 
-$Id $
\ No newline at end of file
+$Id$
isabelle