Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2011-03-03 | * interp/nrungo.boot: Move content to buildom.boot, i-map.boot, | dos-reis | 1 | -0/+25 | |
i-special.boot, nrunfast.boot. Delete. | |||||
2011-02-28 | * interp/i-analy.boot (elaborateTree): New. | dos-reis | 1 | -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) and | dos-reis | 1 | -0/+2465 | |
i-spec2.$(FASLEXT). Add i-special.$(FASLEXT). * interp/i-spec1.boot, interp/i-spec2.boot: Move content to i-special.boot. Remove. |