Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2007-12-12 | * domain.spad (showSummary$Domain): New. | dos-reis | 1 | -1/+10 | |
2007-11-13 | src/algebra/ | dos-reis | 1 | -4/+9 | |
2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (SYNTAX.NRLIB/code.$(FASLEXT)): New rule. (axiom_algebra_layer_14): Include SYNTAX.o. * syntax.spad: New algebra file. * domain.spad (Domain$reify): New. src/share/ 2007-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/browse.daase: Update. * algebra/category.daase: Likewise. * algebra/compress.daase: Likewise. * algebra/interp.daase: Likewise. | |||||
2007-10-19 | Fix SF/1790912 | dos-reis | 1 | -0/+45 | |
* domain.spad: New. * Makefile.pamphlet (axiom_algebra_layer_23): Include DOMAIN.o (DOMAIN.NRLIB/code.$(FASLEXT)): New rule. |