diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/stdlib/Library.tex | 2 |
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 $ |