From 2f5fefcd76259d5e0aee5ef5076ae4c4dd662ec1 Mon Sep 17 00:00:00 2001
From: Talia Ringer
Date: Fri, 7 Jun 2019 06:59:16 -0400
Subject: Update, expand, and document plugin tutorial 2

---
 doc/plugin_tutorial/tuto2/_CoqProject | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

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

diff --git a/doc/plugin_tutorial/tuto2/_CoqProject b/doc/plugin_tutorial/tuto2/_CoqProject
index cf9cb5cc26..0d7a644271 100644
--- a/doc/plugin_tutorial/tuto2/_CoqProject
+++ b/doc/plugin_tutorial/tuto2/_CoqProject
@@ -1,6 +1,15 @@
--R theories/ Tuto
+-R theories Tuto2
 -I src
 
-theories/Test.v
-src/demo.mlg
-src/demo_plugin.mlpack
+theories/Loader.v
+theories/Demo.v
+theories/Count.v
+
+src/custom.ml
+src/custom.mli
+src/counter.ml
+src/counter.mli
+src/persistent_counter.ml
+src/persistent_counter.mli
+src/g_tuto2.mlg
+src/tuto2_plugin.mlpack
-- 
cgit v1.2.3