aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/domain.spad
AgeCommit message (Collapse)AuthorFilesLines
2008-01-20 * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.dos-reis1-4/+12
Add a new domain for constructor instantiation form. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include CTORCALL.o (SYNTAX.NRLIB/code.$(FASLEXT)): Remove rule. Now implicit. * share/algebra: Update databases.
2008-01-13 Fix SF/1852076dos-reis1-1/+1
* algebra/domain.spad (reify$Domain): Specify target type of conversion. * interp/nrunfast.boot (newLookupInDomain): Tidy. (newLookupInCategories): Likewise. * testsuite/interpreter/1852076.input: New.
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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-07 19:35:06 +0000