Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-01-20 | * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad. | dos-reis | 1 | -5/+1 |
2008-01-19 | * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now include | dos-reis | 1 | -2/+3 |
2008-01-19 | * interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initial | dos-reis | 1 | -5/+5 |
2008-01-17 | Fix SF/1849734 | dos-reis | 1 | -4/+4 |
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 |