Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-08-31 | * algebra/boolean.spad.pamphlet (Boolean): Remove definition of | dos-reis | 1 | -81/+75 |
2008-08-17 | * algebra/Makefile.pamphlet (all-algstrap): New. | dos-reis | 1 | -6/+66 |
2008-08-16 | * algebra/strap: New. Sequester cached Lisp translation of | dos-reis | 1 | -0/+156 |