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	-1813/+1817
2010-04-04	* algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New.	dos-reis	1	-992/+1000
2010-04-03	Update databases.	dos-reis	1	-640/+640
2010-03-18	* algebra/any.spad.pamphlet (Property): Tidy.	dos-reis	1	-966/+966
2010-03-13	* algebra/compiler.spad.pamphlet: Add more IR contructor	dos-reis	1	-641/+641
2010-03-13	* algebra/compiler.spad.pamphlet (InternalRepresentationForm): Tidy.	dos-reis	1	-641/+641
2010-03-12	* algebra/compiler.spad.pamphlet: New.	dos-reis	1	-1644/+1652
2010-03-12	* algebra/compiler.spad.pamphlet: New.	dos-reis	1	-1753/+1757
2010-03-12	* algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.	dos-reis	1	-1669/+1673
2010-02-09	* algebra/list.spad.pamphlet (IndexedList): Don't use NEQ.	dos-reis	1	-320/+320
2009-11-17	* algebra/syntax.spad.pamphlet (StepAst): New.	dos-reis	1	-784/+788
2009-11-09	Fix SF/2893009	dos-reis	1	-1075/+1079
2009-10-29	* algebra/seg.spad.pamphlet (RangeBinding): New.	dos-reis	1	-893/+897
2009-10-27	* interp/nruncomp.boot (buildFunctor): Remove $MissingFunctionInfo.	dos-reis	1	-32/+32
2009-10-27	* algebra/taylor.spad.pamphlet (InnerTaylorSeries): Now satisfies	dos-reis	1	-325/+325
2009-09-27	* algebra/free.spad.pamphlet (FreeMonoidCategory): New.	dos-reis	1	-1520/+1524
2009-09-22	(no commit message)	dos-reis	1	-3/+3
2009-09-21	* algebra/data.spad.pamphlet (SystemInteger): Tidy.	dos-reis	1	-26/+26
2009-09-21	* interp/i-spec2.boot (findConstantInDomain): Substitute into the	dos-reis	1	-318/+318
2009-09-08	* boot/ast.boot: Support "pointer" as simple datatype.	dos-reis	1	-742/+746
2009-08-16	* interp/i-map.boot (addMap): Fix typo from last commit.	dos-reis	1	-1077/+1077
2009-06-17	* algebra/domain.spad.pamphlet: ConstructorCall is now	dos-reis	1	-325/+325
2009-06-15	* algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and	dos-reis	1	-567/+567
2009-06-11	* algebra/: Don't quote '!' at end of names.	dos-reis	1	-321/+321
2009-06-10	* interp/parse.boot (parseHas): Preserve unnamed category forms.	dos-reis	1	-318/+318
2009-06-07	* algebra/kl.spad.pamphlet (name$Kernel): Remove.	dos-reis	1	-24/+24
2009-06-07	* algebra/domain.spad.pamphlet (DomainTemplate): New.	dos-reis	1	-1664/+1672
2009-06-01	* interp/compiler.boot (compGreaterThan): Remove.	dos-reis	1	-318/+318
2009-06-01	* interp/compiler.boot (compGreaterThan): New. Compile	dos-reis	1	-318/+318
2009-05-31	* algebra/term.spad.pamphlet (is?$OperatorCategory): New.	dos-reis	1	-1293/+1305
2009-05-30	* algebra/catdef.spad.pamphlet (SetCategory): Provide default	dos-reis	1	-156/+156
2009-05-29	* algebra/algext.spad.pamphlet: Qualify `characteristic'.	dos-reis	1	-318/+318
2009-05-28	* interp/compiler.boot (compVector): Tidy code generation.	dos-reis	1	-320/+320
2009-05-28	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now export	dos-reis	1	-217/+217
2009-05-25	* algebra/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSet	dos-reis	1	-19/+19
2009-05-25	Partial fix for AW/193 and AW/334.	dos-reis	1	-162/+162
2009-05-21	* algebra/catdef.spad.pamphlet (before?$SetCategory): New.	dos-reis	1	-641/+641
2009-05-17	* algebra/op.spad.pamphlet: Use symbol literals for property names.	dos-reis	1	-318/+318
2009-05-16	* algebra/op.spad.pamphlet (assert$BasicOperator): Remove overload	dos-reis	1	-3/+3
2009-05-16	* algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.	dos-reis	1	-32/+32
2009-05-15	* algebra/algfunc.spad.pamphlet (AlgebraicFunction): User	dos-reis	1	-26/+26
2009-05-15	* algebra/expr.spad.pamphlet (FunctionSpaceAttachPredicates): Tidy.	dos-reis	1	-29/+29
2009-05-15	* algebra/op.spad.pamphlet (assert$BasicOperator): Overload for	dos-reis	1	-320/+320
2009-05-14	* algebra/any.spad.pamphlet (RuntimeValue): New domain.	dos-reis	1	-716/+716
2009-05-11	(no commit message)	dos-reis	1	-640/+640
2009-05-09	* algebra/term.spad.pamphlet (zero?$Arity): New.	dos-reis	1	-321/+321
2009-05-05	* algebra/op.spad.pamphlet (property$BasicOperator): Overload with	dos-reis	1	-642/+642
2009-04-24	* algebra/syntax.spad.pamphlet (new$Identifier): New.	dos-reis	1	-320/+320
2009-04-23	* interp/c-util.boot (extendsCategoryForm): Use current category	dos-reis	1	-313/+313
2009-04-20	* interp/sys-constants.boot ($Identifier): New.	dos-reis	1	-323/+323