Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-07-11 | * interp/compiler.boot (compQuote): Restrict quoting to literal | dos-reis | 1 | -2/+2 |
2008-06-14 | * algebra/variable.spad.pamphlet (ModePatternVariable): New. | dos-reis | 1 | -1/+1 |
2008-05-07 | * algebra/boolean.spad.pamphlet (true$Boolean): Simplify. | dos-reis | 1 | -9/+9 |
2008-05-07 | * algebra/boolean.spad.pamphlet (Boolean): Don't pretend to | dos-reis | 1 | -60/+64 |
2008-04-14 | Update cached Lisp translation. | dos-reis | 1 | -15/+79 |
2008-01-18 | Fix typo. | dos-reis | 1 | -1/+1 |
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 |