diff options
| author | Yves Bertot | 2018-05-09 13:06:56 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-09 13:06:56 +0200 |
| commit | 007b88166833bb4c8de494306ff62de396510091 (patch) | |
| tree | 43fe260b42cf0293c16a50e0f9312b4794b53382 /tuto3/_CoqProject | |
| parent | 6f0cfb0e6176fa16eb7ee9a374fedab62d56d486 (diff) | |
repackage with an extra ml file, add a usage of new_type_evar
Diffstat (limited to 'tuto3/_CoqProject')
| -rw-r--r-- | tuto3/_CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tuto3/_CoqProject b/tuto3/_CoqProject index 22d357542a..5f1bd0450c 100644 --- a/tuto3/_CoqProject +++ b/tuto3/_CoqProject @@ -3,5 +3,7 @@ theories/Loader.v +src/construction_game.ml +src/construction_game.mli src/g_tuto3.ml4 src/tuto3_plugin.mlpack
\ No newline at end of file |