Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 1 | -653/+650 |
2008-01-14 | * interp/compiler.boot (compSymbol): Don't handle possible | dos-reis | 1 | -2/+1098 |
2007-11-22 | * as.boot: Globally substitute %noBranch for noBranch. | dos-reis | 1 | -2/+2 |
2007-11-15 | add spad parser library | dos-reis | 1 | -2/+2 |
2007-11-13 | src/algebra/ | dos-reis | 1 | -2/+2 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+3 |