From 508ce375fe34b971cc202ea9c758a65f6fa8336d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 12 Mar 2010 23:29:23 +0000
Subject: 	* algebra/compiler.spad.pamphlet: New. 	(InternalTypeForm):
 New. 	(Elaboration): New.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 713d7648..4b020b69 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,8 @@
 2010-03-12  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* algebra/compiler.spad.pamphlet: New.
+	(InternalTypeForm): New.
+	(Elaboration): New.
 
 2010-03-12  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
-- 
cgit v1.2.3