diff options
Diffstat (limited to 'txr.1')
-rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29919,7 +29919,7 @@ to return 10 .cble -.coNP Macro @ obtain-from +.coNP Macro @ obtain-block .synb .mets (obtain-block < name << forms *) .syne |