open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2008-01-21	* algebra/syntax.spad.pamphlet (Syntax): Assert a member of	dos-reis	1	-1583/+1587
2008-01-20	* algebra/syntax.spad.pamphlet (ElaboratedExpression): New.	dos-reis	1	-445/+445
2008-01-20	* algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.	dos-reis	1	-1641/+1645
2008-01-19	* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now include	dos-reis	1	-148/+148
2008-01-19	* algebra/any.spad.pamphlet (getProperty$Environment): New.	dos-reis	1	-1572/+1576
2008-01-19	* interp/construc.lisp (\|loadLibNoUpdate\|): Fix thinko in initial	dos-reis	1	-1717/+1737
2008-01-17	Fix SF/1849734	dos-reis	1	-1061/+1065
2008-01-16	* algebra/boolean.spad.pamphlet (PropositionalLogic): New category.	dos-reis	1	-978/+982
2008-01-14	* interp/compiler.boot (compSymbol): Don't handle possible	dos-reis	1	-1052/+1060
2007-11-22	* as.boot: Globally substitute %noBranch for noBranch.	dos-reis	1	-357/+357
2007-11-15	add spad parser library	dos-reis	1	-788/+792
2007-11-13	src/algebra/	dos-reis	1	-2021/+2037
2007-08-14	Initial population.	dos-reis	1	-0/+4655