From b9a4b6948e221b8e4fcd62ed69dd5713e0b8fbf7 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 13 Nov 2007 08:35:38 +0000 Subject: src/algebra/ 2007-11-13 Gabriel Dos Reis * Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule. (axiom_algebra_layer_14): Include SYNTAX.o. * syntax.spad: New algebra file. * domain.spad (Domain$reify): New. src/share/ 2007-11-13 Gabriel Dos Reis * algebra/browse.daase: Update. * algebra/category.daase: Likewise. * algebra/compress.daase: Likewise. * algebra/interp.daase: Likewise. --- NEWS | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'NEWS') diff --git a/NEWS b/NEWS index 5b7350ca..0355c099 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,9 @@ - × OpenAxiom now supports collections of domains. + × OpenAxiom now has a domain domain for representing the abstract + syntax tree of Spad and Boot programs. + + × OpenAxiom now supports collections of domains. More generally, + it is now possible define and call functions with arguments + that are of domain type. × OpenAxiom no longer uses global setting of the environment variable AXIOM. Now, OpenAxiom's AXIOMsys can be invoked with -- cgit v1.2.3