open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-01-17	add missing part of last commit	dos-reis	1	-8/+27

2008-01-17	Fix SF/1849734	dos-reis	1	-1/+229
	* interp/i-spec1.boot (upand): Don't insist on having operands of type Boolean. (upor): Likewise. * algebra/mkrecord.spad.pamphlet (Pair): New domain constructor. * algebra/exposed.lsp.pamphlet: Expose Pair, PropositionalLogic, PropositionalFormula. * algebra/boolean.spad.pamphlet (PropositionalFormula): New domain constructor. * algebra/Makefile.pamphlet (axiom_algebra_layer_4): Include PAIR.o. (axiom_algebra_layer_19): Include PROPFRML.o * share/algebra: Update databases. * testsuite/interpreter/1849734.input: New.
2008-01-16	* algebra/boolean.spad.pamphlet (PropositionalLogic): New category.	dos-reis	1	-256/+180
	(Boolean): Assert as belonging to PropositionalLogic. Update cached Lisp translation. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Add PROPLOG.o * src/algebra: Update databases.
2007-08-14	Initial population.	dos-reis	1	-0/+587