Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-09-21 | * algebra/boolean.spad.pamphlet (Boolean): Now belong to | dos-reis | 1 | -9/+10 |
2008-09-21 | Update algebra databases and algebra bootstrap Lisp files. | dos-reis | 1 | -5/+5 |
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 |