diff options
author | Samuel Mimram <smimram@debian.org> | 2006-11-21 21:38:49 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2006-11-21 21:38:49 +0000 |
commit | 208a0f7bfa5249f9795e6e225f309cbe715c0fad (patch) | |
tree | 591e9e512063e34099782e2518573f15ffeac003 /doc/stdlib | |
parent | de0085539583f59dc7c4bf4e272e18711d565466 (diff) |
Imported Upstream version 8.1~gammaupstream/8.1.gamma
Diffstat (limited to 'doc/stdlib')
-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 $ |