From 5f67a085b2e7085767ff4b05a765a8422c816f2e Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Sun, 17 Jan 2010 08:16:04 -0800 Subject: Reduce doubled word. --- txr.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/txr.1 b/txr.1 index 4427addc..c79a1b44 100644 --- a/txr.1 +++ b/txr.1 @@ -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. -- cgit v1.2.3