diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/stdlib/Library.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex index ee14589cf..fffcddc85 100755 --- a/doc/stdlib/Library.tex +++ b/doc/stdlib/Library.tex @@ -1,4 +1,4 @@ -\documentclass[11pt]{article} +\documentclass[11pt]{report} \usepackage[latin1]{inputenc} \usepackage[T1]{fontenc} @@ -19,7 +19,7 @@ General Public License Version 2.1.} \tableofcontents \newpage -\section*{The \Coq\ standard library} +% \section*{The \Coq\ standard library} This document is a short description of the \Coq\ standard library. This library comes with the system as a complement of the core library |