Update ChangeLog

math-comp · Nov 10, 2015 · 490d8fa · 490d8fa
1 parent ec504e2
commit 490d8fa
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/etc/ChangeLog b/etc/ChangeLog
@@ -6,7 +6,12 @@
 
 	* The archive is now open and based on git. Public mirror at:
 	         https://github.com/math-comp/math-comp
-
+
+	* Sources of the reference manual of the Ssreflect tactic language are 
+	  also open and available at:
+		https://github.com/math-comp/ssr-manual
+	  Pull requests improving the documentation are welcome.
+
 	* Renamings or replacements:
 	  conjC_closed -> cfConjC_closed
 	  class_transr -> class_eqP