diff --git a/changelog b/changelog index 28ead41..2620619 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20091004 tpd src/axiom-website/patches.html 20091004.03.tpd.patch +20091004 tpd src/interp/i-output.lisp cleanup 20091004 tpd src/axiom-website/patches.html 20091004.02.tpd.patch 20091004 tpd src/input/Makefile 20091004 tpd src/input/zimmbron.input diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index db7386c..35ca4ae 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -2097,5 +2097,7 @@ src/interp/i-output.lisp cleanup
src/interp/i-map.lisp cleanup
20091004.02.tpd.patch src/input/zimmbron.input added
+20091004.03.tpd.patch +src/interp/i-output.lisp cleanup
diff --git a/src/interp/i-output.lisp.pamphlet b/src/interp/i-output.lisp.pamphlet index 7ebf473..dc8aa19 100644 --- a/src/interp/i-output.lisp.pamphlet +++ b/src/interp/i-output.lisp.pamphlet @@ -5937,47 +5937,6 @@ NIL ; d := APP(specialChar('urc), x + widR + widB + 1, y + supB+1, d) ; d := APP(specialChar('bslash), x + widR - 1, y - subB, d) -(pprint '(DEFUN |rootApp| (|u| |x| |y| |d|) - (PROG (|widB| |supB| |subB| |subR| |widR|) - (RETURN - (PROGN - (SPADLET |widB| (WIDTH (ELT |u| 1))) - (SPADLET |supB| (|superspan| (ELT |u| 1))) - (SPADLET |subB| (|subspan| (ELT |u| 1))) - (COND - ((> (|#| |u|) 2) (SPADLET |widR| (WIDTH (ELT |u| 2))) - (SPADLET |subR| (|subspan| (ELT |u| 2))) - (SPADLET |d| - (APP (ELT |u| 2) |x| - (PLUS (PLUS (SPADDIFFERENCE |y| |subB|) 1) - |subR|) - |d|))) - ('T (SPADLET |widR| 1))) - (SPADLET |d| - (APP (ELT |u| 1) (PLUS (PLUS |x| |widR|) 1) |y| |d|)) - (SPADLET |d| - (|apphor| (PLUS (PLUS |x| |widR|) 1) - (PLUS (PLUS |x| |widR|) |widB|) - (PLUS (PLUS |y| |supB|) 1) |d| - (|specialChar| '|hbar|))) - (SPADLET |d| - (|appvertline| (|specialChar| '|vbar|) - (PLUS |x| |widR|) (SPADDIFFERENCE |y| |subB|) - (PLUS |y| |supB|) |d|)) - (SPADLET |d| - (APP (|specialChar| '|ulc|) (PLUS |x| |widR|) - (PLUS (PLUS |y| |supB|) 1) |d|)) - (SPADLET |d| - (APP (|specialChar| '|urc|) - (PLUS (PLUS (PLUS |x| |widR|) |widB|) 1) - (PLUS (PLUS |y| |supB|) 1) |d|)) - (SPADLET |d| - (APP (|specialChar| '|bslash|) - (SPADDIFFERENCE (PLUS |x| |widR|) 1) - (SPADDIFFERENCE |y| |subB|) |d|)))))) - -) - (DEFUN |rootApp| (|u| |x| |y| |d|) (PROG (|widB| |supB| |subB| |subR| |widR|) (RETURN