Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-01-17 | subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe % | Gabriel Dos Reis | 1 | -6/+4 |
2011-03-12 | * src/algebra/: Systematically use not one? when comparing for | dos-reis | 1 | -1/+1 |
2009-10-15 | * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy. | dos-reis | 1 | -1/+1 |
2008-08-31 | * algebra/boolean.spad.pamphlet (Boolean): Remove definition of | dos-reis | 1 | -7/+7 |
2008-04-03 | Replace `^=' with `~='. | dos-reis | 1 | -3/+3 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+596 |