diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-09-11 10:55:01 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-11 10:55:01 +0200 |
| commit | 550309f90cfd1786cdc9a6ab093992eecac23fd4 (patch) | |
| tree | 617de1ad824f7ea3c925ac677b556dd36af7c6af /doc | |
| parent | 75a6ad95bba622975f1978e2d72d60be2eb813d9 (diff) | |
| parent | 1724ec47c354c589bf537aa5860674578d5839d5 (diff) | |
Merge PR #1038: Fix Typo in Doc for `Set Parsing Explicit`
Diffstat (limited to 'doc')
| -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 3cfb85002..7af4e9313 100644 --- a/doc/refman/RefMan-ext.tex +++ b/doc/refman/RefMan-ext.tex @@ -1720,7 +1720,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 |