From 1724ec47c354c589bf537aa5860674578d5839d5 Mon Sep 17 00:00:00 2001 From: staffehn Date: Fri, 8 Sep 2017 22:15:26 +0200 Subject: Fix Typo in Doc for `Set Parsing Explicit` --- doc/refman/RefMan-ext.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/refman') diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex index 713f344cbe..d30e2c0efe 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 -- cgit v1.2.3