diff options
Diffstat (limited to 'docs/opt-coercion/prooftree.sty')
| -rw-r--r-- | docs/opt-coercion/prooftree.sty | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/opt-coercion/prooftree.sty b/docs/opt-coercion/prooftree.sty index abb7d44864..b5e6076531 100644 --- a/docs/opt-coercion/prooftree.sty +++ b/docs/opt-coercion/prooftree.sty @@ -339,7 +339,7 @@ $\displaystyle % IDEAS % 1. Specification of \shiftright and how to spread trees. % 2. Spacing command \m which causes 1em+1fil spacing, over-riding -% exisiting space on sides of trees and not affecting the +% existing space on sides of trees and not affecting the % detection of being on the left or right. % 3. Hack using \@currenvir to detect LaTeX environment; have to % use \aftergroup to pass \shortenproofleft/right out. |