Admin/README.repos
changeset 14584 76b81ae4031f
parent 14583 efbee41e85c2
child 14585 6cf696e5ef7f
     1.1 --- a/Admin/README.repos	Fri Apr 16 10:20:34 2004 +0200
     1.2 +++ b/Admin/README.repos	Fri Apr 16 10:21:06 2004 +0200
     1.3 @@ -51,4 +51,4 @@
     1.4    $ISABELLE_HOME_USER is the directory "~/isabelle".
     1.5  
     1.6  
     1.7 -$Id $
     1.8 \ No newline at end of file
     1.9 +$Id$