X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=d5838cd98be0a1f84058fc092bdeec4ab8c9ebf1;hb=c7a6544c3f19d8c4d71b82871c832a866f8dbb79;hp=023a73767d1b3c4a29a1735db887946c846135d3;hpb=4f0f0dbbeb4a965ac5fb8e6e30d8fcc1cd99eff6;p=model-checker.git

diff --git a/README.md b/README.md
index 023a737..d5838cd 100644
--- a/README.md
+++ b/README.md
@@ -37,12 +37,15 @@ Getting Started
 ---------------
 
 If you haven't done so already, you may download CDSChecker using
-[git](http://git-scm.com/) (for those without git, snapshots can be found at the
-Gitweb URLs below):
+[git](http://git-scm.com/):
 
       git clone git://demsky.eecs.uci.edu/model-checker.git
 
-Get the benchmarks (not required; distributed separately):
+Source code can also be downloaded via the snapshot links on Gitweb (found in
+the __See Also__ section).
+
+Get the benchmarks (not required; distributed separately), placing them as a
+subdirectory under the `model-checker` directory:
 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks