summaryrefslogtreecommitdiff
path: root/obsolete/macros/generic/proofs/taylor
ModeNameSize
-rw-r--r--boxproof-old.tex9453logplain
-rw-r--r--boxproof.tex21467logplain