From 9213251560073e45e73ae94c46bc382a625a57bb Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Wed, 30 Dec 2015 02:56:09 -0800
Subject: Remove attributes unitsKnown, leftUnitary, rightUnitary,
 canonicalsClosed, central, noetherian, NullSquare, JacobiIdentity.

---
 src/ChangeLog | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index bec1627b..a2fdd2b4 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,11 @@
+2015-12-30  Gabriel Dos Reis  <gdr@axiomatics.org>
+
+	* algebra/attreg.spad.pamphlet (AttributeRegistry): Remove
+	unitsKnown, leftUnitary, rightUnitary, canonicalsClosed,
+	central, noetherian, NullSquare, JacobiIdentity.
+	Adjust users.
+	* interp/sys-constants.boot ($BuiltinAttributes): Likewise.
+
 2015-12-29  Gabriel Dos Reis  <gdr@axiomatics.org>
 
 	* interp/nruncomp.boot ($AddChainIndex): Define.
-- 
cgit v1.2.3