From 230e2d3f27c556cf2c61127ea8f525dc17c5aa9a Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 24 Feb 2012 20:06:13 +0000
Subject: 	* interp/lexing.boot: "assume" is now also a keyword for the
 compiler. 	* interp/spad-parser.boot (parseCategory): Accept exported
 properties. 	(parseFormula): New.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index d7af41d8..9ecebbd6 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2012-02-24  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/lexing.boot: "assume" is now also a keyword for the compiler.
+	* interp/spad-parser.boot (parseCategory): Accept exported properties.
+	(parseFormula): New.
+
 2012-02-23  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/nruncomp.boot (genDeltaEntry): Replace applyFun with %apply.
-- 
cgit v1.2.3