From 8917ab003a9b7f2abf8e399b5e7ad013b31a2e0e Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 20 Sep 2012 09:41:14 +0200
Subject: Imported Upstream version 0.3

---
 README.txt | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'README.txt')

diff --git a/README.txt b/README.txt
index ae945cc..d308f70 100644
--- a/README.txt
+++ b/README.txt
@@ -18,11 +18,10 @@ equations, modulo associativity and commutativity of some operators.
 INSTALLATION
 ============
 
-This plugin should work with Coq v8.3, as released on the 14th of
-October 2010.
+This plugin should work with Coq v8.4
 
-- run [./make_makefile] in the top-level directory to generate a Makefile
-- run [make world] to build the plugin and the documentation
+- running [make] in the top-level directory will generate a Makefile
+  (using coq_makefile), and will build the plugin and its documentation
 
 Option 1
 --------
-- 
cgit v1.2.3