From 61dc740ed1c3780cccaec00d059a28f0d31d0052 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 4 Jun 2012 12:07:52 +0200 Subject: Imported Upstream version 8.4~gamma0+really8.4beta2 --- doc/common/styles/html/coqremote/header.html | 49 ++++++++++++++++++++++++++++ 1 file changed, 49 insertions(+) create mode 100644 doc/common/styles/html/coqremote/header.html (limited to 'doc/common/styles/html/coqremote/header.html') diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html new file mode 100644 index 00000000..afcdbe73 --- /dev/null +++ b/doc/common/styles/html/coqremote/header.html @@ -0,0 +1,49 @@ + + + + + +Standard Library | The Coq Proof Assistant + + + + + + + + + + + + + + + +
+ + + + +
+ -- cgit v1.2.3