aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-special.boot
AgeCommit message (Collapse)AuthorFilesLines
2011-03-03 * interp/nrungo.boot: Move content to buildom.boot, i-map.boot,dos-reis1-0/+25
i-special.boot, nrunfast.boot. Delete.
2011-02-28 * interp/i-analy.boot (elaborateTree): New.dos-reis1-4/+15
* interp/i-special.boot (bottomUpProposition): Likewise. (upand): Use it to handle propositional formula. (upor): Likewise.
2011-02-27 * interp/Makefile.in (OBJS): Remove i-spec1.$(FASLEXT) anddos-reis1-0/+2465
i-spec2.$(FASLEXT). Add i-special.$(FASLEXT). * interp/i-spec1.boot, interp/i-spec2.boot: Move content to i-special.boot. Remove.