diff options
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 |