| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2007-11-07 | remove more pamphlets | dos-reis | 1 | -1303/+0 |
| 2007-11-07 | * Makefile.pamphlet (i-toplev.$(FASLEXT)): New rule. | dos-reis | 1 | -59/+62 |
| 2007-09-17 | * i-spec1.boot.pamphlet (mkAndApplyZippedPredicates): Fix typo. | dos-reis | 1 | -5/+5 |
| 2007-08-14 | Initial population. | dos-reis | 1 | -0/+1300 |
 |
index : open-axiom | |
| open scientific computation system | Igor Pashev |
| aboutsummaryrefslogtreecommitdiff |