open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-01-13	Fix SF/1852076	dos-reis	1	-0/+3
	* algebra/domain.spad (reify$Domain): Specify target type of conversion. * interp/nrunfast.boot (newLookupInDomain): Tidy. (newLookupInCategories): Likewise. * testsuite/interpreter/1852076.input: New.