From 2280477a96e19ba5060de2d48dcc8fd7c8079d22 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 13 Nov 2015 11:31:34 +0100
Subject: Imported Upstream version 8.5~beta3+dfsg
---
doc/stdlib/Library.tex | 0
doc/stdlib/index-list.html.template | 10 +++++++++-
2 files changed, 9 insertions(+), 1 deletion(-)
mode change 100755 => 100644 doc/stdlib/Library.tex
(limited to 'doc')
diff --git a/doc/stdlib/Library.tex b/doc/stdlib/Library.tex
old mode 100755
new mode 100644
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 024e1341..866193ff 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -591,7 +591,7 @@ through the Require Import command.
Program:
- Support for dependently-typed programming.
+ Support for dependently-typed programming
theories/Program/Basics.v
@@ -612,4 +612,12 @@ through the Require Import command.
theories/Unicode/Utf8_core.v
theories/Unicode/Utf8.v
+
+ Compat:
+ Compatibility wrappers for previous versions of Coq
+
+
+ theories/Compat/Coq84.v
+ theories/Compat/Coq85.v
+
--
cgit v1.2.3