From 490d8fa0e30822caa8ea942e276ac0ed449aae1d Mon Sep 17 00:00:00 2001
From: amahboubi
Date: Tue, 10 Nov 2015 11:16:31 +0100
Subject: Update ChangeLog

---
 etc/ChangeLog | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'etc/ChangeLog')

diff --git a/etc/ChangeLog b/etc/ChangeLog
index 6316b45..be41718 100644
--- 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
-- 
cgit v1.2.3