diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-08-05 23:07:39 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-08-05 23:07:39 -0700 |
| commit | c2c18e4c4a0901468fbc858e912ea37b70ff2c90 (patch) | |
| tree | 69c155eba8dd8d11aef8cce8b0e4e30e06027657 | |
| parent | 303103f9a2fa0837a4613a5ad57f7f1ca2f1d61b (diff) | |
| download | txr-c2c18e4c4a0901468fbc858e912ea37b70ff2c90.tar.gz txr-c2c18e4c4a0901468fbc858e912ea37b70ff2c90.tar.bz2 txr-c2c18e4c4a0901468fbc858e912ea37b70ff2c90.zip | |
* txr.1: pppred formatting problem.
| -rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 ) |