Link to K v3.2.1 in the INSTALL.md.

kframework · Aug 21, 2013 · 1903c1f · 1903c1f
1 parent 7327ce3
commit 1903c1f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -70,9 +70,9 @@ $ ocaml
 (Press ctrl-d to exit.)
 
 ### 4. Install K.
-- This version of the C semantics should work with the latest stable version of
+- This version of the C semantics has been tested with version 3.2.1 of
   the K Framework. It can be downloaded here:
-  <https://github.com/kframework/k/releases/tag/latest>
+  <https://github.com/kframework/k/releases/tag/v3.2.1>
 - See the README included with K for build and installation instructions.
 
 ### 5. Install optional packages.