From ab84846fba5919729d37a26e91b885df4bfa2601 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 14 Mar 2018 23:40:38 +0100
Subject: [Sphinx] Add chapter 16

Thanks to Paul Steckler for porting this chapter.
---
 doc/sphinx/_static/coqide-queries.png | Bin 0 -> 66656 bytes
 doc/sphinx/_static/coqide.png         | Bin 0 -> 59662 bytes
 2 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 doc/sphinx/_static/coqide-queries.png
 create mode 100644 doc/sphinx/_static/coqide.png

(limited to 'doc/sphinx/_static')

diff --git a/doc/sphinx/_static/coqide-queries.png b/doc/sphinx/_static/coqide-queries.png
new file mode 100644
index 0000000000..7a46ac4e68
Binary files /dev/null and b/doc/sphinx/_static/coqide-queries.png differ
diff --git a/doc/sphinx/_static/coqide.png b/doc/sphinx/_static/coqide.png
new file mode 100644
index 0000000000..e300401c9f
Binary files /dev/null and b/doc/sphinx/_static/coqide.png differ
-- 
cgit v1.2.3