diff options
| author | Pierre-Marie Pédrot | 2016-01-21 16:45:23 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-01-21 16:45:23 +0100 |
| commit | be0eca32fae93ed4793c2f839bb9e725b6a963d1 (patch) | |
| tree | c2c5dce5ce24f5a2a8cade9e69410599c00e2b55 /doc/refman/RefMan-pro.tex | |
| parent | 9c2662eecc398f38be3b6280a8f760cc439bc31c (diff) | |
| parent | 5e23fb90b39dfa014ae5c4fb46eb713cca09dbff (diff) | |
Merge branch 'v8.5'
Diffstat (limited to 'doc/refman/RefMan-pro.tex')
| -rw-r--r-- | doc/refman/RefMan-pro.tex | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/refman/RefMan-pro.tex b/doc/refman/RefMan-pro.tex index ed1b79e56e..c37367de5b 100644 --- a/doc/refman/RefMan-pro.tex +++ b/doc/refman/RefMan-pro.tex @@ -407,6 +407,19 @@ Proof. \end{ErrMsgs} +The bullet behavior can be controlled by the following commands. + +\begin{quote} +Set Bullet Behavior "None". +\end{quote} + +This makes bullets inactive. + +\begin{quote} +Set Bullet Behavior "Strict Subproofs". +\end{quote} + +This makes bullets active (this is the default behavior). \section{Requesting information} |