diff options
| author | Matej Kosik | 2015-11-23 13:02:03 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:20 +0100 |
| commit | 6fa4d20b5208852ac468c28405e93bcb5288d774 (patch) | |
| tree | 098bb5afd4e947cff775dc481e7867eab03a2d04 /doc/refman/Reference-Manual.tex | |
| parent | 89d033112607733ad0007638762bde326fc0eb8b (diff) | |
CLEANUP: putting examples inside "figure" environment
Diffstat (limited to 'doc/refman/Reference-Manual.tex')
| -rw-r--r-- | doc/refman/Reference-Manual.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/refman/Reference-Manual.tex b/doc/refman/Reference-Manual.tex index cb5d2ecb54..dcb98d96b3 100644 --- a/doc/refman/Reference-Manual.tex +++ b/doc/refman/Reference-Manual.tex @@ -21,6 +21,10 @@ \usepackage{multicol} \usepackage{xspace} \usepackage{pmboxdraw} +\usepackage{float} + +\floatstyle{boxed} +\restylefloat{figure} % for coqide \ifpdf % si on est pas en pdflatex |