aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/domain.spad
AgeCommit message (Collapse)AuthorFilesLines
2007-12-12 * domain.spad (showSummary$Domain): New.dos-reis1-1/+10
2007-11-13src/algebra/dos-reis1-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-reis1-0/+45
* domain.spad: New. * Makefile.pamphlet (axiom_algebra_layer_23): Include DOMAIN.o (DOMAIN.NRLIB/code.$(FASLEXT)): New rule.