Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-08-30 | More explicit import | dos-reis | 1 | -1/+3 |
2008-08-29 | * algebra/aggcat.spad.pamphlet: Import used domains. | dos-reis | 1 | -0/+5 |
2008-04-03 | Replace `^=' with `~='. | dos-reis | 1 | -1/+1 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+651 |