diff -r efbee41e85c2 -r 76b81ae4031f Admin/README.repos
--- 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$