summaryrefslogtreecommitdiff
path: root/doc/stdlib/Library.tex
diff options
context:
space:
mode:
Diffstat (limited to 'doc/stdlib/Library.tex')
-rwxr-xr-xdoc/stdlib/Library.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
index f5509c3a..bfd7f3f2 100755
--- a/doc/stdlib/Library.tex
+++ b/doc/stdlib/Library.tex
@@ -61,4 +61,4 @@ you can access from the \Coq\ home page at
\end{document}
-% $Id$
+% $Id: Library.tex 12363 2009-09-28 15:04:07Z letouzey $