From 7948079d6e0b85320ec936e5405112569058115e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 2 Sep 2008 05:14:28 +0000
Subject: 	* algebra/syntax.spad.pamphlet (Literal): New. 	(Identifier):
 Likewise. 	(Signature): Tidy. 	* algebra/exposed.lsp.pamphlet: Expose
 IDENT and LITERAL. 	* algebra/Makefile.pamphlet
 (axiom_algebra_layer_user): Add 	LITERAL and IDENT. 	(user-stamp):
 Don't depend directly on bootstrap-stamp. 	* share/algebra/: Update
 databases.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 0a39e379..d916bd36 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,14 @@
+2008-09-02  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/syntax.spad.pamphlet (Literal): New.
+	(Identifier): Likewise.
+	(Signature): Tidy.
+	* algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL.
+	* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
+	LITERAL and IDENT.
+	(user-stamp): Don't depend directly on bootstrap-stamp.
+	* share/algebra/: Update databases.
+
 2008-09-01  Martin Rubey  <martin.rubey@univie.ac.at>
 	    Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
-- 
cgit v1.2.3