Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2008-08-16 | * algebra/strap: New. Sequester cached Lisp translation of | dos-reis | 1 | -2276/+0 | |
algebra bootstrap domains here. | |||||
2008-06-03 | * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.boot | dos-reis | 1 | -1/+0 | |
(COMP): Likewise. (|compQuietly|): Likewise. (|compileQuietly|): Likewise. (COMP-1): Likewise. | |||||
2008-05-31 | (no commit message) | dos-reis | 1 | -0/+1 | |
2008-05-29 | * algebra/catdef.spad.pamphlet (OrderedMonoid): Nown | dos-reis | 1 | -2/+2 | |
OrderedSemiGroup and a Monoid. * share/algebra: Updata databases. | |||||
2008-05-28 | * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New. | dos-reis | 1 | -0/+12 | |
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP. | |||||
2008-05-18 | Fix AW/221 | dos-reis | 1 | -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-14 | Update cached Lisp translation. | dos-reis | 1 | -639/+536 | |
2008-03-14 | * algebra/catdef.spad.pamphlet: Update cached Lisp translation. | dos-reis | 1 | -1493/+1124 | |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+4565 | |