open-axiom - open scientific computation system

Age	Commit message (Expand)	Author	Files	Lines
2015-12-30	Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ce...	Gabriel Dos Reis	1	-1/+0
2013-05-20	Use Functorial more often.	dos-reis	1	-13/+8
2011-03-12	* src/algebra/: Systematically use not one? when comparing for	dos-reis	1	-2/+2
2009-10-15	* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.	dos-reis	1	-1/+1
2009-09-29	* algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Really make an	dos-reis	1	-1/+1
2009-09-27	* algebra/free.spad.pamphlet (FreeMonoidCategory): New.	dos-reis	1	-37/+1
2009-06-11	* algebra/: Don't quote '!' at end of names.	dos-reis	1	-7/+7
2009-06-11	* algebra/: Remove quotes from operator namaes in signatures.	dos-reis	1	-11/+11
2009-05-29	* algebra/algext.spad.pamphlet: Qualify `characteristic'.	dos-reis	1	-1/+1
2008-11-21	* algebra/alql.spad.pamphlet (Database): Now CoercibleFrom List S.	dos-reis	1	-7/+2
2008-08-30	More boring explicit import.	dos-reis	1	-2/+58
2008-04-03	Replace `^=' with `~='.	dos-reis	1	-11/+11
2007-08-14	Initial population.	dos-reis	1	-0/+1132