diff options
| author |  Samuel Mimram <smimram@debian.org> | 2007-03-24 12:01:30 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2007-03-24 12:01:30 +0000 |
| commit | 0231469f6f9c6e59ae1574c72e446ed272490566 (patch) | |
| tree | a008c8bbcc5b3b52a4e94ce5c2d2cb2f021e74b4 /debian/coq-libs.doc-base | |
| parent | 04d097b8f27b9fa916f583b0152e34466d8602a3 (diff) | |
Coq 8.1 becomes trunk.
Diffstat (limited to 'debian/coq-libs.doc-base')
| -rw-r--r-- | debian/coq-libs.doc-base | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/debian/coq-libs.doc-base b/debian/coq-libs.doc-base deleted file mode 100644 index 1a62a262..00000000 --- a/debian/coq-libs.doc-base +++ /dev/null @@ -1,9 +0,0 @@ -Document: coq-library -Title: The Coq Standard Library -Author: The Coq Development Team -Abstract: Standard Library documentation of version 8.0 of the Coq proof assistant which is a system designed to develop mathematical proofs, and especially to write formal specifications, programs and to verify that programs are correct with respect to their specification. -Section: Apps/Math - -Format: HTML -Index: /usr/share/doc/coq-libs/html/index.html -Files: /usr/share/doc/coq-libs/html/*.html |