From 37846f4b385342087d072abb1d743222e26c4545 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 22 May 2010 15:26:05 +0000 Subject: * interp/cparse.boot (npQuiver): Redefine. Now send Application to Application. (npTypedForm): Replace Application with Quiver. (npTypified): Likewise. (npTagged): Use npTypedForm not npTypedForm1. (npDiscrim): Now extend Relation, not Quiver. (npMdef): Allow same LHS as npDef. (npSingleRule): Likewise. * boot/ast.boot: Replace CONCAT with strconc. Replace SYMBOL-NAME with PNAME. * boot/scanner.boot: Likewise. * boot/translator.boot: Likewise. --- configure.ac.pamphlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure.ac.pamphlet') diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 32a7dca3..33025571 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1210,7 +1210,7 @@ information: <>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2010-05-17], +AC_INIT([OpenAxiom], [1.4.0-2010-05-22], [open-axiom-bugs@lists.sf.net]) @ -- cgit v1.2.3