open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-10-19	* algebra/syntax.spad.pamphlet (Syntax): Now belong to	dos-reis	1	-19/+25
	RetractableTo Integer, RetractableTo DoubleFloat, RetractableTo Symbol, and RetractableTo String.
2008-10-19	* algebra/syntax.spad.pamphlet (Syntax): Simplify.	dos-reis	1	-42/+36

2008-09-22	* boot/parser.boot (bpReturn): Allow assignment.	dos-reis	1	-1/+3

2008-09-22	Tidy Syntax and SpadAst.	dos-reis	1	-11/+36

2008-09-22	* algebra/syntax.spad.pamphlet: Tie the recursive knots between	dos-reis	1	-284/+352
	syntax domains.
2008-09-21	* algebra/syntax.spad.pamphlet (SpadAst): New.	dos-reis	1	-32/+126
	* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST. * share/algebra: Update algebra databases.
2008-09-21	* algebra/syntax.spad.pamphlet (SpadAstExports): New.	dos-reis	1	-0/+183
	* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADXPT. Update dependency rules. * share/algebra: Update algebra databases.
2008-09-19	* interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.	dos-reis	1	-3/+4
	* algebra/Makefile.pamphlet: Add dependency rules for syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax domains.
2008-09-18	* interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.	dos-reis	1	-7/+362
	* algebra/syntax.spad.pamphlet: Add more syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax object domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more syntax object files.
2008-09-05	* interp/g-util.boot (getTypeOfSyntax): Handle more ASTs.	dos-reis	1	-9/+616
	* algebra/syntax.spad.pamphlet (SpadSyntaxCategory): Add pretty-printer. (HeadAst): Use Identifier. (TypeAst,MappingAst,ImportAst,SignatureAst,AttributeAst,JoinAst, IfAst,RepeatAst,WhileAst,InAst,CollectAst,ConstructAst, ExitAst,ReturnAst,SequenceAst,LetAst,PretendAst,CoerceAst, RestrictAst,CallAst,SegmentAst): New domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add TYPEAST, IMPTAST, MAPPAST, ATTRAST, JOINAST, IFAST, RPTAST WHILEAST, INAST, CLLCAST, LSTAST, EXITAST, RETAST, SEGAST, PRTDAST, CRCAST, LETAST. * share/algebra: Update databases.
2008-09-02	* algebra/syntax.spad.pamphlet (Literal): New.	dos-reis	1	-13/+68
	(Identifier): Likewise. (Signature): Tidy. * algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add LITERAL and IDENT. (user-stamp): Don't depend directly on bootstrap-stamp. * share/algebra/: Update databases.
2008-08-29	Add more explicit imports	dos-reis	1	-0/+26

2008-08-10	* algebra/syntax.spad.pamphlet (AbstractSyntaxCategory): New.	dos-reis	1	-0/+45
	(HeadAst): Likewise.
2008-07-15	* share/algebra: Update databases.	dos-reis	1	-0/+28
	* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG. * algebra/syntax.spad.pamphlet (Signature): New.
2008-07-03	Fix AW/428	dos-reis	1	-5/+7
	* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-02-14	Update release information	dos-reis	1	-31/+27

2008-01-21	* algebra/syntax.spad.pamphlet (Syntax): Assert a member of	dos-reis	1	-2/+6
	SetCategory. Implement equality. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move BASTYPE.o from layer 3 to here. Move SYNTAX.o from here to layer 1. (axiom_algebra_layer_1): Move CTROCALL.o to layer 2. * share/algebra: Update database.
2008-01-20	* algebra/syntax.spad.pamphlet (ElaboratedExpression): New.	dos-reis	1	-0/+64
	* algebra/any.spad.pamphlet: Rename ObjectProperty to Property. * algebra/exposed.lsp.pamphlet: Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_5): Include ELABEXPR.o * share/algebra: Update databases.
2008-01-20	* algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.	dos-reis	1	-0/+285
	Add a new domain for constructor instantiation form. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include CTORCALL.o (SYNTAX.NRLIB/code.$(FASLEXT)): Remove rule. Now implicit. * share/algebra: Update databases.