From 9a866efde4ed887d024c01a49b3cdde777d8deb3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 28 May 2009 21:44:26 +0000 Subject: * interp/compiler.boot (compVector): Tidy code generation. (checkExternalEntity): Handle Builtin external entities. (compSignatureImport): Likewise. * algebra/boolean.spad.pamphlet (Boolean): Import Lisp function from Foreign Builtin. (KleeneTrivalentLogic): The constant `true' and `false' are now inherited. --- src/ChangeLog | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 3b240947..d60aba65 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,8 +1,18 @@ +2009-05-28 Gabriel Dos Reis + + * interp/compiler.boot (compVector): Tidy code generation. + (checkExternalEntity): Handle Builtin external entities. + (compSignatureImport): Likewise. + * algebra/boolean.spad.pamphlet (Boolean): Import Lisp function + from Foreign Builtin. + (KleeneTrivalentLogic): The constant `true' and `false' are now + inherited. + 2009-05-28 Gabriel Dos Reis * algebra/boolean.spad.pamphlet (PropositionalLogic): Now export `true' and `false'. - (Boolean): Ihenrit them. + (Boolean): Inherit them. 2009-05-27 Gabriel Dos Reis -- cgit v1.2.3