aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/QFCAT-.lsp
AgeCommit message (Collapse)AuthorFilesLines
2010-05-03 Generate more readable code for functor definitions.dos-reis1-126/+112
* interp/nruncomp.boot (washFunctorBody): New. (buildFunctor): Use it. * interp/g-opt.boot (optBind): New. (optLIST): Likewise.
2009-03-01 Optimization should not change slot numbers.dos-reis1-120/+120
2008-11-20 * algebra/coerce.spad.pamphlet (CoercibleFrom): New.dos-reis1-266/+0
(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-10-11Update algebra bootstrap cache.dos-reis1-0/+81
2008-08-17 * algebra/Makefile.pamphlet (all-algstrap): New.dos-reis1-0/+266
* algebra/strap: Update cached Lisp translation.
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis1-0/+440
algebra bootstrap domains here.