Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 5 | -21922/+21941 |
2008-01-14 | * interp/compiler.boot (compSymbol): Don't handle possible | dos-reis | 5 | -9793/+25960 |
2007-11-22 | * as.boot: Globally substitute %noBranch for noBranch. | dos-reis | 5 | -7733/+7733 |
2007-11-15 | add spad parser library | dos-reis | 5 | -8774/+8784 |
2007-11-13 | src/algebra/ | dos-reis | 5 | -12295/+12346 |
2007-08-14 | Initial population. | dos-reis | 10 | -0/+21499 |