--- a/Admin/components/README Fri Dec 14 16:02:31 2012 +0100
+++ b/Admin/components/README Fri Dec 14 16:21:47 2012 +0100
@@ -7,7 +7,7 @@
$ install /home/isabelle/components/screwdriver-3.14.tar.gz
$ install /home/isabelle/contrib/screwdriver-3.14/
$ edit Admin/components/main: screwdriver-3.14
- $ run Admin/components/checksum -u
+ $ isabelle components_checksum -u
$ hg diff
$ hg commit
@@ -46,9 +46,9 @@
The file Admin/components/components.sha1 contains SHA1 identifiers
within the Isabelle repository, for integrity checking of the archives
-that are exposed to the public file-system. The script
-Admin/components/checksum helps to update these hash-keys wrt. the
-information within the Isabelle repository.
+that are exposed to the public file-system. The components_checksum
+tool helps to update these hash-keys wrt. the information within the
+Isabelle repository.
Unpacked copy