diff options
author | 2017-09-08 22:15:26 +0200 | |
---|---|---|
committer | 2017-09-08 22:15:26 +0200 | |
commit | 1724ec47c354c589bf537aa5860674578d5839d5 (patch) | |
tree | 3ee9ee2383e06a8046d90a95c616a8bca818df24 | |
parent | b1fbec7e3945fe2965f4ba9f80c8c31b821dbce1 (diff) |
Fix Typo in Doc for `Set Parsing Explicit`
-rw-r--r-- | doc/refman/RefMan-ext.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex index 713f344cb..d30e2c0ef 100644 --- a/doc/refman/RefMan-ext.tex +++ b/doc/refman/RefMan-ext.tex @@ -1664,7 +1664,7 @@ to be given as if none arguments were implicit. By symmetry, this also affects printing. To restore parsing and normal printing of implicit arguments, use: \begin{quote} -{\tt Set Parsing Explicit.} +{\tt Unset Parsing Explicit.} \end{quote} \subsection{Canonical structures |