open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2009-06-28	* interp/i-spec1.boot (checkForFreeVariables): Emit	dos-reis	1	-0/+5
2009-06-23	* interp/bootlex.lisp (spad): Don't bind $noSubsumption.	dos-reis	1	-0/+5
2009-06-20	* interp/category.boot (SigOpsubsume): Remove as unused.	dos-reis	1	-0/+17
2009-06-17	* algebra/domain.spad.pamphlet: ConstructorCall is now	dos-reis	1	-0/+5
2009-06-16	* interp/define.boot (doItConditionally): New.	dos-reis	1	-0/+5
2009-06-16	Fix SF/2396945	dos-reis	1	-0/+8
2009-06-16	Fix SF/2806053	dos-reis	1	-0/+6
2009-06-15	* interp/define.boot (spadCompileOrSetq): Tidy.	dos-reis	1	-0/+6
2009-06-15	* interp/fnewmeta.lisp (PARSE-Scheme): Tidy.	dos-reis	1	-0/+7
2009-06-15	* algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and	dos-reis	1	-0/+7
2009-06-14	Add support for existential type recovery.	dos-reis	1	-0/+21
2009-06-13	* algebra/any.spad.pamphlet (AnyFunctions1): Remove `pretend'	dos-reis	1	-0/+9
2009-06-13	* interp/sys-constants.boot ($defaultOptimizationLevel): New.	dos-reis	1	-0/+6
2009-06-13	Support multiple scrutinee in is-case pattern matching.	dos-reis	1	-0/+13
2009-06-13	* driver/utils.c (openaxiom_execute_core): Workaround GCL oddity.	dos-reis	1	-0/+4
2009-06-13	* interp/i-coerce.boot: Revert previous patch.	dos-reis	1	-0/+5
2009-06-12	Support retract of domains.	dos-reis	1	-0/+11
2009-06-11	* algebra/: Don't quote '!' at end of names.	dos-reis	1	-0/+4
2009-06-11	* algebra/: Remove quotes from operator namaes in signatures.	dos-reis	1	-0/+4
2009-06-11	* interp/newaux.lisp: Remove digraphs '(<' and '>) as alternate	dos-reis	1	-0/+14
2009-06-11	* interp/info.boot (actOnInfo): Don't remember new domain names if	dos-reis	1	-0/+5
2009-06-10	* interp/parse.boot (parseDropAssertions): Remove.	dos-reis	1	-0/+6
2009-06-10	* interp/parse.boot (parseHas): Preserve unnamed category forms.	dos-reis	1	-0/+8
2009-06-09	* interp/i-coerfn.boot (Expr2Up): Fix regression introduced by	dos-reis	1	-0/+5
2009-06-09	* interp/compiler.boot (compLogicalNot): Tidy.	dos-reis	1	-0/+6
2009-06-08	* algebra/kl.spad.pamphlet (Kernel): Tidy.	dos-reis	1	-0/+4
2009-06-08	Fix SF/2799773	dos-reis	1	-0/+9
2009-06-07	* algebra/kl.spad.pamphlet (name$Kernel): Remove.	dos-reis	1	-0/+10
2009-06-07	* algebra/domain.spad.pamphlet (DomainTemplate): New.	dos-reis	1	-0/+6
2009-06-01	Simplify compiler ast for `return' expressions.	dos-reis	1	-0/+6
2009-06-01	Fix SF/2799238	dos-reis	1	-0/+5
2009-06-01	* interp/compiler.boot (compGreaterThan): Remove.	dos-reis	1	-0/+5
2009-06-01	* interp/compiler.boot (compGreaterThan): New. Compile	dos-reis	1	-0/+12
2009-05-31	* algebra/term.spad.pamphlet (is?$OperatorCategory): New.	dos-reis	1	-0/+16
2009-05-30	* algebra/catdef.spad.pamphlet (SetCategory): Provide default	dos-reis	1	-0/+5
2009-05-30	* algebra/complet.spad.pamphlet (OnePointCompletion): Define before?.	dos-reis	1	-0/+4
2009-05-29	* algebra/algext.spad.pamphlet: Qualify `characteristic'.	dos-reis	1	-0/+50
2009-05-29	Fix SF/2798220	dos-reis	1	-0/+9
2009-05-29	* interp/compiler.boot (getSuccessEnvironment): Tidy.	dos-reis	1	-0/+6
2009-05-28	* interp/compiler.boot (compVector): Tidy code generation.	dos-reis	1	-1/+11
2009-05-28	* algebra/boolean.spad.pamphlet (PropositionalLogic): Now export	dos-reis	1	-0/+6
2009-05-28	* interp/newaux.lisp: Bot / and /\ are gliphs.	dos-reis	1	-1/+14
2009-05-25	* interp/sys-constants.boot ($OperatorFunctionNames): New.	dos-reis	1	-0/+7
2009-05-25	* algebra/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSet	dos-reis	1	-0/+6
2009-05-25	Partial fix for AW/193 and AW/334.	dos-reis	1	-0/+50
2009-05-21	* algebra/catdef.spad.pamphlet (before?$SetCategory): New.	dos-reis	1	-0/+4
2009-05-21	* interp/cparse.boot (npQuantified): New.	dos-reis	1	-0/+10
2009-05-19	* interp/vmlisp.lisp (LIST2VEC): Tidy.	dos-reis	1	-1/+5
2009-05-19	* interp/i-analy.boot (bottomUpDefaultEval): A declared variable	dos-reis	1	-0/+5
2009-05-18	* algebra/curve.spad.pamphlet: Use literal symbols.	dos-reis	1	-0/+22