diff options
| author | Jan Hrček <honza.hrk@gmail.com> | 2020-06-24 15:55:39 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-28 09:20:22 -0400 |
| commit | 68530b1cd45629e5a353a37df80195ac54d26ade (patch) | |
| tree | a6aa929d32d9c1caff4ca57c5ffde238d7c9717a /docs/opt-coercion | |
| parent | 42f797b0ad034a92389e7081aa50ef4ab3434d01 (diff) | |
| download | haskell-68530b1cd45629e5a353a37df80195ac54d26ade.tar.gz | |
Fix duplicated words and typos in comments and user guide
Diffstat (limited to 'docs/opt-coercion')
| -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 b5e6076531..08903c9a4a 100644 --- a/docs/opt-coercion/prooftree.sty +++ b/docs/opt-coercion/prooftree.sty @@ -40,7 +40,7 @@ %% \end{prootree} at the outer level (however this will not work for the inner %% levels, but in any case why would you want to be so verbose?). %% -%% All of of the keywords except \prooftree and \endprooftree are optional +%% All of the keywords except \prooftree and \endprooftree are optional %% and may appear in any order. They may also be combined in \newcommand's %% eg "\def\Cut{\using\sf cut\thickness.08em\justifies}" with the abbreviation %% "\prooftree hyp1 hyp2 \Cut \concl \endprooftree". This is recommended and |