From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 16:59:03 +0000 (-0700)
Subject: README.md: improve wording
X-Git-Tag: oopsla2015~10^2~3
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=4d482a40080a27f22ad6fca0f83ad95585b6b470;ds=sidebyside

README.md: improve wording
---

diff --git a/README.md b/README.md
index 023a737..29a95e8 100644
--- a/README.md
+++ b/README.md
@@ -37,11 +37,13 @@ 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
 
+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