README.md: improve wording

diff --git a/README.md b/README.md
index 023a73767d1b3c4a29a1735db887946c846135d3..29a95e80da2d3f2bfae92b43267ce1faf7d11126 100644 (file)
--- a/README.md
+++ b/README.md
@@ -37,11 +37,13 @@ Getting Started
 ---------------
 
 If you haven't done so already, you may download CDSChecker using
 ---------------
 
 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
 
 
       git clone git://demsky.eecs.uci.edu/model-checker.git
 

+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):
 
       cd model-checker
 Get the benchmarks (not required; distributed separately):
 
       cd model-checker