| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2008-01-17 | add missing part of last commit | dos-reis | 1 | -8/+27 |
| 2008-01-17 | Fix SF/1849734 | dos-reis | 1 | -1/+229 |
| 2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 1 | -256/+180 |
| 2007-08-14 | Initial population. | dos-reis | 1 | -0/+587 |
 |
index : open-axiom | |
| open scientific computation system | Igor Pashev |
| aboutsummaryrefslogtreecommitdiff |