aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/catdef.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis1-2276/+0
algebra bootstrap domains here.
2008-06-03 * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.bootdos-reis1-1/+0
(COMP): Likewise. (|compQuietly|): Likewise. (|compileQuietly|): Likewise. (COMP-1): Likewise.
2008-05-31(no commit message)dos-reis1-0/+1
2008-05-29 * algebra/catdef.spad.pamphlet (OrderedMonoid): Nowndos-reis1-2/+2
OrderedSemiGroup and a Monoid. * share/algebra: Updata databases.
2008-05-28 * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.dos-reis1-0/+12
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
2008-05-18 Fix AW/221dos-reis1-1/+1
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a join of OrderedSet and AbelianSemiGroup. * algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to both OrderedAbelianSemiGroup and Monoid. Update cached Lisp translation. * shared/algebra: Update databases.
2008-04-14Update cached Lisp translation.dos-reis1-639/+536
2008-03-14 * algebra/catdef.spad.pamphlet: Update cached Lisp translation.dos-reis1-1493/+1124
2007-08-14Initial population.dos-reis1-0/+4565