From 8f4d4c66134804bbf2d2fe65c893b68387272d31 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sat, 10 Jul 2010 15:57:24 +0100 Subject: Remove non-DFSG contents --- doc/common/styles/html/coqremote/cover.html | 131 ---------------------------- 1 file changed, 131 deletions(-) delete mode 100644 doc/common/styles/html/coqremote/cover.html (limited to 'doc/common/styles/html/coqremote/cover.html') diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html deleted file mode 100644 index c3091b4e..00000000 --- a/doc/common/styles/html/coqremote/cover.html +++ /dev/null @@ -1,131 +0,0 @@ - - - - - - -Reference Manual | The Coq Proof Assistant - - - - - - - - - - - - - - - - -
- - - - -
- -



-

Reference Manual

- -

- Version 8.31 - -





-The Coq Development Team -





-

- -
-
    -
  • V7.x © INRIA 1999-2004
    • -
  • V8.x © INRIA 2004-2010
    • -
- -

This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub). Options A and B are not elected.

-
-
- -
-
-
-
1
-
This research was partly supported by IST working group ``Types''
-
-
- -
- -
- -
- -
- - - - - - - -- cgit v1.2.3