open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2009-10-14	* interp/i-funsel.boot (findFunctionInDomain): Fix thinko.	dos-reis	1	-1/+1
2009-09-29	* interp/i-funsel.boot (matchMmSig): Fix thinko from revision 1297.	dos-reis	1	-1/+1
2009-09-26	More cleanup	dos-reis	1	-5/+5
2009-09-26	More cleanup	dos-reis	1	-1/+1
2009-09-26	* interp/: More cleanup.	dos-reis	1	-101/+101
2009-09-26	* interp/as.boot: Clean up.	dos-reis	1	-25/+25
2009-09-25	* boot/ast.boot (bfMember): Improve a bit.	dos-reis	1	-14/+14
2009-09-20	* boot/tokens.boot: "has" is not a keyword.	dos-reis	1	-13/+13
2009-09-02	* interp/cstream.boot: Cleanup.	dos-reis	1	-13/+13
2009-08-17	* boot/tokens.boot: Retire "^" as negation operator.	dos-reis	1	-3/+3
2009-08-14	* boot/tokens.boot: Retire "^=". Introduce "~=".	dos-reis	1	-31/+31
2009-06-13	* interp/i-coerce.boot: Revert previous patch.	dos-reis	1	-2/+0
2009-06-12	Support retract of domains.	dos-reis	1	-0/+2
2009-06-10	* interp/parse.boot (parseHas): Preserve unnamed category forms.	dos-reis	1	-1/+5
2009-01-03	2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	1	-13/+13
2008-12-16	r12470@gauss: gdr \| 2008-12-14 17:43:50 -0600	dos-reis	1	-1/+1
2008-12-08	2008-12-07 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	1	-1/+1
2008-10-13	Don't step over Common Lisp MAP.	dos-reis	1	-2/+2
2008-08-02	* interp/buildom.boot: Use constants by names.	dos-reis	1	-5/+5
2008-07-12	* interp/i-funsel.boot (findUniqueOpInDomain): Use evaluation type	dos-reis	1	-8/+12
2008-05-18	* interp/i-object.boot (wrapped2Quote): Reomve.	dos-reis	1	-2/+2
2008-05-08	* boot/translator.boot (bpOutItem): Handle namespace declaration.	dos-reis	1	-1/+1
2008-04-23	* boot/ast.boot: Tidy.	dos-reis	1	-1/+1
2008-04-14	Various cleanups.	dos-reis	1	-5/+5
2008-04-13	Various cleanups.	dos-reis	1	-1/+1
2008-02-19	* algebra/variable.spad.pamphlet (AnonymousFunction): Add new	dos-reis	1	-1/+2
2007-12-08	* bc-util.boot ($newConstructorList): Move from setq.lisp to here.	dos-reis	1	-0/+3
2007-11-13	src/algebra/	dos-reis	1	-1/+0
2007-11-07	remove more pamphlets	dos-reis	1	-0/+1769