aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2017-09-11 10:55:01 +0200
committerGravatar Maxime Dénès <mail@maximedenes.fr>2017-09-11 10:55:01 +0200
commit550309f90cfd1786cdc9a6ab093992eecac23fd4 (patch)
tree617de1ad824f7ea3c925ac677b556dd36af7c6af
parent75a6ad95bba622975f1978e2d72d60be2eb813d9 (diff)
parent1724ec47c354c589bf537aa5860674578d5839d5 (diff)
Merge PR #1038: Fix Typo in Doc for `Set Parsing Explicit`
-rw-r--r--doc/refman/RefMan-ext.tex2
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