open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2010-07-18	More cleanups	dos-reis	1	-2/+2
2010-07-03	* interp/category.boot (isCategoryForm): Tidy.	dos-reis	1	-2/+4
2010-06-04	* interp/br-con.boot: More cleanup.	dos-reis	1	-4/+4
2010-05-17	* interp/as.boot: Clean up.	dos-reis	1	-1/+1
2010-05-09	More cleanups	dos-reis	1	-1/+1
2010-05-08	* boot/parser.boot (bpArgumentList): New.	dos-reis	1	-20/+20
2010-05-06	* interp/wi2.boot: Replace INTEGERP, STRINGP, SYMBOLP, CONSP with	dos-reis	1	-4/+4
2009-09-26	More cleanup	dos-reis	1	-3/+3
2009-09-26	* interp/: More cleanup.	dos-reis	1	-4/+4
2009-09-26	* interp/as.boot: Clean up.	dos-reis	1	-19/+19
2009-08-14	* boot/tokens.boot: Retire "^=". Introduce "~=".	dos-reis	1	-4/+4
2009-06-20	* interp/category.boot (SigOpsubsume): Remove as unused.	dos-reis	1	-19/+1
2009-01-12	* interp/category.boot: Miscellaneous cleanup.	dos-reis	1	-2/+4
2009-01-03	2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu>	dos-reis	1	-9/+5
2008-12-01	* interp/define.boot (compile): Don't check for PAC names.	dos-reis	1	-5/+13
2008-11-15	* interp/category.boot: Define global vars.	dos-reis	1	-0/+2
2008-11-03	* interp/br-data.boot: Remove uses of BOUNDP.	dos-reis	1	-1/+1
2008-11-03	* interp/postpar.boot (postcheckTarget): Likewise.	dos-reis	1	-1/+1
2008-11-02	* interp/g-util.boot: Import "ggreater".	dos-reis	1	-0/+1
2008-09-20	* include/cfuns.h (oa_dirname): Declare.	dos-reis	1	-0/+7
2008-07-04	* interp/category.boot (isCategory): Document.	dos-reis	1	-46/+71
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-03-24	Add support for SBCL and CLisp	dos-reis	1	-3/+3
2008-03-20	* interp/vmlisp.lisp (GETREFV): Set initial elements to NIL.	dos-reis	1	-1/+1
2008-02-19	* algebra/variable.spad.pamphlet (AnonymousFunction): Add new	dos-reis	1	-2/+2
2008-02-02	* interp/sys-globals.boot ($consistencyCheck): Remove.	dos-reis	1	-1/+0
2007-12-16	Revert previous accidental commit.	dos-reis	1	-0/+1
2007-12-16	Daily bump	dos-reis	1	-1/+0
2007-10-31	remove more pamphlet	dos-reis	1	-0/+555