diff options
Diffstat (limited to 'doc/stdlib/Library.tex')
-rwxr-xr-x | doc/stdlib/Library.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex index 97748af6..598943a4 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 @@ -59,4 +59,4 @@ you can access from the \Coq\ home page at \end{document} -% $Id: Library.tex 8626 2006-03-14 15:01:00Z notin $ +% $Id: Library.tex 9245 2006-10-17 12:53:34Z notin $ |