From c2c18e4c4a0901468fbc858e912ea37b70ff2c90 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Wed, 5 Aug 2015 23:07:39 -0700 Subject: * txr.1: pppred formatting problem. --- txr.1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'txr.1') diff --git a/txr.1 b/txr.1 index 93604834..2fad709e 100644 --- a/txr.1 +++ b/txr.1 @@ -23484,7 +23484,7 @@ is not divisible by two (odd), otherwise it returns .codn nil . -.coNP Functions @, succ @, ssucc @, sssucc @, pred @, ppred @ and pppred +.coNP Functions @, succ @, ssucc @, sssucc @, pred @, ppred and @ pppred .synb .mets (succ << number ) .mets (ssucc << number ) -- cgit v1.2.3