From 75c99f5c048ff8dd7daf0d1692fa91f3ca8aeaff Mon Sep 17 00:00:00 2001
From: Talia Ringer
Date: Mon, 3 Jun 2019 10:54:59 -0400
Subject: Clean, document, and expand plugin tutorials 0 and 1

---
 doc/plugin_tutorial/tuto1/_CoqProject | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/plugin_tutorial/tuto1/_CoqProject')

diff --git a/doc/plugin_tutorial/tuto1/_CoqProject b/doc/plugin_tutorial/tuto1/_CoqProject
index 585d1360be..60f9f0a0c7 100644
--- a/doc/plugin_tutorial/tuto1/_CoqProject
+++ b/doc/plugin_tutorial/tuto1/_CoqProject
@@ -2,7 +2,10 @@
 -I src
 
 theories/Loader.v
+theories/Demo.v
 
+src/inspector.mli
+src/inspector.ml
 src/simple_check.mli
 src/simple_check.ml
 src/simple_declare.mli
-- 
cgit v1.2.3