diff options
Diffstat (limited to 'txr.1')
-rw-r--r-- | txr.1 | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -83049,7 +83049,7 @@ The following equivalences hold: .coNP Macro @ load-for .synb -.mets (load-for >> {( kind < sym < target << load-arg*)}*) +.mets (load-for >> {( kind < sym < target << load-arg* )}*) .syne .desc The |