From 78a4efb6f15ad686efe78fc10f3216719833d8aa Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 28 Feb 2011 00:08:51 +0000 Subject: * interp/i-analy.boot (elaborateTree): New. * interp/i-special.boot (bottomUpProposition): Likewise. (upand): Use it to handle propositional formula. (upor): Likewise. --- src/ChangeLog | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 90824abc..2088c425 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,10 @@ +2011-02-27 Gabriel Dos Reis + + * interp/i-analy.boot (elaborateTree): New. + * interp/i-special.boot (bottomUpProposition): Likewise. + (upand): Use it to handle propositional formula. + (upor): Likewise. + 2011-02-27 Gabriel Dos Reis * interp/i-analy.boot (bottomUpWithArgModesets): Split out of -- cgit v1.2.3