Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 1 | -1/+1 |
2008-01-14 | * interp/compiler.boot (compSymbol): Don't handle possible | dos-reis | 1 | -1/+1 |
2007-12-03 | src/algebra/ | dos-reis | 1 | -4/+9 |
2007-11-15 | add spad parser library | dos-reis | 1 | -1/+5 |
2007-11-13 | src/algebra/ | dos-reis | 1 | -1/+5 |
2007-11-10 | src/algebra/ | dos-reis | 1 | -0/+3 |
2007-10-19 | Fix SF/1790912 | dos-reis | 1 | -1/+5 |
2007-10-10 | 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 1 | -4/+2 |
2007-09-24 | * config/setup-dep.mk ($(top_builddir)/libtool): Regenerate when | dos-reis | 1 | -4/+4 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+1151 |