open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2010-04-04	* algebra/boolean.spad.pamphlet (BooleanLogic): New.	dos-reis	1	-5348/+5353
2010-04-04	* algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New.	dos-reis	1	-4973/+4981
2010-04-03	Update databases.	dos-reis	1	-4520/+4520
2010-03-18	* algebra/any.spad.pamphlet (Property): Tidy.	dos-reis	1	-4954/+4954
2010-03-13	* algebra/compiler.spad.pamphlet: Add more IR contructor	dos-reis	1	-4466/+4466
2010-03-13	* algebra/compiler.spad.pamphlet (InternalRepresentationForm): Tidy.	dos-reis	1	-4143/+4143
2010-03-12	* algebra/compiler.spad.pamphlet: New.	dos-reis	1	-5266/+5274
2010-03-12	* algebra/compiler.spad.pamphlet: New.	dos-reis	1	-5293/+5297
2010-03-12	* algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.	dos-reis	1	-5176/+5180
2010-02-09	* algebra/list.spad.pamphlet (IndexedList): Don't use NEQ.	dos-reis	1	-4475/+4475
2009-11-17	* algebra/syntax.spad.pamphlet (StepAst): New.	dos-reis	1	-4691/+4695
2009-11-09	Fix SF/2893009	dos-reis	1	-4985/+4989
2009-10-29	* algebra/seg.spad.pamphlet (RangeBinding): New.	dos-reis	1	-4893/+4897
2009-10-27	* interp/nruncomp.boot (buildFunctor): Remove $MissingFunctionInfo.	dos-reis	1	-3547/+3547
2009-10-27	* algebra/taylor.spad.pamphlet (InnerTaylorSeries): Now satisfies	dos-reis	1	-4469/+4469
2009-09-27	* algebra/free.spad.pamphlet (FreeMonoidCategory): New.	dos-reis	1	-5211/+5216
2009-09-22	(no commit message)	dos-reis	1	-6/+6
2009-09-21	* algebra/data.spad.pamphlet (SystemInteger): Tidy.	dos-reis	1	-3667/+3667
2009-09-21	* interp/i-spec2.boot (findConstantInDomain): Substitute into the	dos-reis	1	-4469/+4469
2009-09-08	* boot/ast.boot: Support "pointer" as simple datatype.	dos-reis	1	-4645/+4649
2009-08-16	* interp/i-map.boot (addMap): Fix typo from last commit.	dos-reis	1	-4468/+4468
2009-06-17	* algebra/domain.spad.pamphlet: ConstructorCall is now	dos-reis	1	-4466/+4466
2009-06-15	* algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and	dos-reis	1	-4435/+4435
2009-06-11	* algebra/: Don't quote '!' at end of names.	dos-reis	1	-4465/+4465
2009-06-10	* interp/parse.boot (parseHas): Preserve unnamed category forms.	dos-reis	1	-4464/+4464
2009-06-07	* algebra/kl.spad.pamphlet (name$Kernel): Remove.	dos-reis	1	-3697/+3697
2009-06-07	* algebra/domain.spad.pamphlet (DomainTemplate): New.	dos-reis	1	-5241/+5249
2009-06-01	* interp/compiler.boot (compGreaterThan): Remove.	dos-reis	1	-4460/+4460
2009-06-01	* interp/compiler.boot (compGreaterThan): New. Compile	dos-reis	1	-4456/+4456
2009-05-31	* algebra/term.spad.pamphlet (is?$OperatorCategory): New.	dos-reis	1	-5117/+5132
2009-05-30	* algebra/catdef.spad.pamphlet (SetCategory): Provide default	dos-reis	1	-3671/+3671
2009-05-29	* algebra/algext.spad.pamphlet: Qualify `characteristic'.	dos-reis	1	-4454/+4454
2009-05-28	* interp/compiler.boot (compVector): Tidy code generation.	dos-reis	1	-4451/+4451
2009-05-28	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now export	dos-reis	1	-4391/+4391
2009-05-25	* algebra/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSet	dos-reis	1	-3597/+3597
2009-05-25	Partial fix for AW/193 and AW/334.	dos-reis	1	-3707/+3707
2009-05-21	* algebra/catdef.spad.pamphlet (before?$SetCategory): New.	dos-reis	1	-4473/+4473
2009-05-17	* algebra/op.spad.pamphlet: Use symbol literals for property names.	dos-reis	1	-4448/+4448
2009-05-16	* algebra/op.spad.pamphlet (assert$BasicOperator): Remove overload	dos-reis	1	-6/+6
2009-05-16	* algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.	dos-reis	1	-3821/+3821
2009-05-15	* algebra/algfunc.spad.pamphlet (AlgebraicFunction): User	dos-reis	1	-3797/+3797
2009-05-15	* algebra/expr.spad.pamphlet (FunctionSpaceAttachPredicates): Tidy.	dos-reis	1	-3898/+3898
2009-05-15	* algebra/op.spad.pamphlet (assert$BasicOperator): Overload for	dos-reis	1	-4448/+4448
2009-05-14	* algebra/any.spad.pamphlet (RuntimeValue): New domain.	dos-reis	1	-4930/+4930
2009-05-11	(no commit message)	dos-reis	1	-4474/+4474
2009-05-09	* algebra/term.spad.pamphlet (zero?$Arity): New.	dos-reis	1	-4448/+4448
2009-05-05	* algebra/op.spad.pamphlet (property$BasicOperator): Overload with	dos-reis	1	-4471/+4471
2009-04-24	* algebra/syntax.spad.pamphlet (new$Identifier): New.	dos-reis	1	-4448/+4448
2009-04-23	* interp/c-util.boot (extendsCategoryForm): Use current category	dos-reis	1	-4368/+4368
2009-04-20	* interp/sys-constants.boot ($Identifier): New.	dos-reis	1	-4442/+4442