From 8816646796401df89afdd12daf749ca99400c949 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 1 Jul 2011 00:09:08 +0000
Subject: 	* config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New. 
 (OPENAXIOM_CHECK_CORE_SUPPORT): Use it.

---
 ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'ChangeLog')

diff --git a/ChangeLog b/ChangeLog
index 2e32ff16..8d8065e3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-06-30  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New.
+	(OPENAXIOM_CHECK_CORE_SUPPORT): Use it.
+
 2011-06-15  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* OpenAxiom-1.4.0 has been released.
-- 
cgit v1.2.3