Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-09-01 | 2008-09-01 Martin Rubey <martin.rubey@univie.ac.at> | dos-reis | 1 | -46/+41 |
2008-08-31 | * algebra/boolean.spad.pamphlet (Boolean): Remove definition of | dos-reis | 1 | -103/+104 |
2008-08-17 | * algebra/Makefile.pamphlet (all-algstrap): New. | dos-reis | 1 | -19/+283 |
2008-08-16 | * algebra/strap: New. Sequester cached Lisp translation of | dos-reis | 1 | -0/+872 |