Updating the math-classes submodule

coq-community · Apr 3, 2014 · 6177545 · 6177545
1 parent 27a36b2
commit 6177545
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,4 @@
 [submodule "math-classes"]
 	path = math-classes
-	url = git://github.com/EvgenyMakarov/math-classes.git
+#	url = git://github.com/EvgenyMakarov/math-classes.git
+	url = git://github.com/math-classes/math-classes.git
diff --git a/README b/README
@@ -6,7 +6,7 @@ PREREQUISITES
 
 This version of C-CoRN is known to compile with:
 
- - Coq 8.4pl1
+ - Coq 8.4pl4
 
  - SCons 1.2
 
@@ -19,7 +19,7 @@ Math Classes is contained in the C-CoRN git repository as a submodule. You can
 obtain math-classes automatically by giving the --recursive option when you 
 clone the git repository:
 
-  git clone --recursive https://github.com/EvgenyMakarov/corn.git
+  git clone --recursive https://github.com/c-corn/corn.git
 
 If you have already cloned the CoRN repository without --recursive, you can
 still get the submodules with

diff --git a/math-classes b/math-classes