open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2010-05-28	Add support for 'property' builtin function.	dos-reis	1	-3/+9
2010-05-22	* interp/cparse.boot (npQuiver): Redefine. Now send Application	dos-reis	1	-17/+16
2010-05-19	* boot/ast.boot: Add %Leave ast node.	dos-reis	1	-380/+384
2010-05-15	* boot/ast.boot (shoeCompTran1): Handle %Leave expressions.	dos-reis	1	-0/+1
2010-05-10	Add lambda expression syntax to Boot.	dos-reis	1	-392/+401
2010-05-07	* boot/ast.boot: Miscellaneous cleanup.	dos-reis	1	-5/+3
2010-05-07	* boot/ast.boot: Translate assignment to head and tail of a list.	dos-reis	1	-1/+3
2010-02-10	Update cached boot translator Lisp code	dos-reis	1	-2/+152
2009-09-26	Fix typo	dos-reis	1	-2/+1
2009-09-25	* boot/ast.boot (bfMember): Improve a bit.	dos-reis	1	-0/+5
2009-09-25	* boot/ast.boot (bfMember): New.	dos-reis	1	-300/+330
2009-09-20	* boot/tokens.boot: "has" is not a keyword.	dos-reis	1	-12/+20
2009-09-04	(no commit message)	dos-reis	1	-39/+38
2009-09-04	* boot/ast.boot (bfAlternative): New. Move single assignment in	dos-reis	1	-18/+43
2009-09-03	(no commit message)	dos-reis	1	-47/+46
2009-09-03	* boot/ast.boot: More cleanup.	dos-reis	1	-959/+903
2009-09-02	* boot/ast.boot: More cleanup.	dos-reis	1	-36/+58
2009-08-30	* boot/ast.boot (bfSequence): Simplify COND branch bodies.	dos-reis	1	-747/+660
2009-08-29	* boot/ast.boot (bfCase): Don't hold scrutinee's remaining	dos-reis	1	-338/+329
2009-08-29	* boot/ast.boot (%Definition): Lose one argument.	dos-reis	1	-132/+76
2009-08-29	(no commit message)	dos-reis	1	-4/+0
2009-08-29	* boot/ast.boot: More cleanup.	dos-reis	1	-329/+284
2009-08-29	* boot/ast.boot: Cleanup.	dos-reis	1	-2/+2
2009-08-28	* boot/ast.boot (bfCase): Don't introduce temporary for scrutinee	dos-reis	1	-362/+358
2009-08-27	* boot/tokens.boot: "namespace" is now a keyword.	dos-reis	1	-381/+383
2009-08-20	Discontinue computation of difference between "old" and "new" Boot.	dos-reis	1	-26/+2
2009-08-19	* boot/ast.boot: Consistently prefix AST names by "%".	dos-reis	1	-60/+64
2009-08-14	* boot/tokens.boot: Retire "^=". Introduce "~=".	dos-reis	1	-3/+8
2009-05-10	Cope with SBCL-1.0.28 improvements.	dos-reis	1	-8/+45
2009-05-10	Update cached Boot translator bootstrap code	dos-reis	1	-19/+786
2008-09-22	* boot/parser.boot (bpReturn): Allow assignment.	dos-reis	1	-8/+23
2008-09-07	* boot/parser.boot (bpImport): Invert syntax for importing foreign	dos-reis	1	-3/+8
2008-08-02	* boot/parser.boot (bpTerm): Term forms depend on the kind of	dos-reis	1	-10/+13
2008-05-19	* boot/ast.boot: Cleanup.	dos-reis	1	-4/+5
2008-05-08	* boot/translator.boot (translateToplevel): Split out of bpOutItem.	dos-reis	1	-4/+4
2008-04-30	* boot/parser.boot (bpExportItemList): New.	dos-reis	1	-230/+231
2008-04-29	cleanup CLisp FFI	dos-reis	1	-2/+2
2008-04-23	* boot/ast.boot: Tidy.	dos-reis	1	-2/+2
2008-04-22	Update cached Lisp translation	dos-reis	1	-232/+308
2008-02-15	* boot/parser.boot (bpSimpleCatch): New.	dos-reis	1	-168/+201
2008-02-04	* boot/translator.boot (translateToplevelExpression): New.	dos-reis	1	-368/+313
2008-01-29	fix typos from last commit	dos-reis	1	-4/+4
2008-01-28	Update Boot code	dos-reis	1	-5/+74
2008-01-28	* boot/Makefile.pamphlet: Remove.	dos-reis	1	-0/+2086