Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-08-31 | * algebra/stream.spad.pamphlet (Stream): Remove duplicate of concat. | dos-reis | 1 | -6/+0 |
2008-08-31 | * algebra/aggcat.spad.pamphlet (FiniteLinearAggregate): Remove | dos-reis | 1 | -2/+1 |
2008-08-29 | Add more explicit imports | dos-reis | 1 | -1/+30 |
2008-08-29 | * algebra/aggcat.spad.pamphlet: Import used domains. | dos-reis | 1 | -0/+3 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+325 |