Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-01-20 | * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad. | dos-reis | 1 | -4873/+4877 |
2008-01-19 | * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Now include | dos-reis | 1 | -4031/+4031 |
2008-01-19 | * algebra/any.spad.pamphlet (getProperty$Environment): New. | dos-reis | 1 | -4854/+4858 |
2008-01-19 | * interp/construc.lisp (|loadLibNoUpdate|): Fix thinko in initial | dos-reis | 1 | -4856/+4876 |
2008-01-17 | Fix SF/1849734 | dos-reis | 1 | -4653/+4657 |
2008-01-16 | * algebra/boolean.spad.pamphlet (PropositionalLogic): New category. | dos-reis | 1 | -4621/+4625 |
2008-01-14 | * interp/compiler.boot (compSymbol): Don't handle possible | dos-reis | 1 | -4641/+4649 |
2007-11-22 | * as.boot: Globally substitute %noBranch for noBranch. | dos-reis | 1 | -4107/+4107 |
2007-11-15 | add spad parser library | dos-reis | 1 | -4444/+4448 |
2007-11-13 | src/algebra/ | dos-reis | 1 | -4810/+4826 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+4835 |