diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2010-01-17 08:16:04 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2010-01-17 08:16:04 -0800 |
| commit | 5f67a085b2e7085767ff4b05a765a8422c816f2e (patch) | |
| tree | 76b1c431d03283d373c5c1275e0bc2ef8058e26d | |
| parent | 313673744f11987e0a01cd6c4bfba4cc89964005 (diff) | |
| download | txr-5f67a085b2e7085767ff4b05a765a8422c816f2e.tar.gz txr-5f67a085b2e7085767ff4b05a765a8422c816f2e.tar.bz2 txr-5f67a085b2e7085767ff4b05a765a8422c816f2e.zip | |
Reduce doubled word.
| -rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2925,7 +2925,7 @@ This is similar to the arithmetic rule A - B = A + -B: subtraction is equivalent to addition of the additive inverse. Set difference is a useful tool: it enables us to write a positive match which captures a more general set than what is intended (but one whose regular expression is far simpler -than a positive match for the exact set we want), then we can intersect +than a positive match for the exact set we want), then we can intersect this over-generalized set with the complemented set of another regular expression which matches the particulars that we wish excluded. |