doc/plugin_tutorial/tuto3/_CoqProject


1
2
3
4
5
6
7
8
9
10
11
12

-R theories Tuto3
-I src

theories/Data.v
theories/Loader.v

src/tuto_tactic.ml
src/tuto_tactic.mli
src/construction_game.ml
src/construction_game.mli
src/g_tuto3.mlg
src/tuto3_plugin.mlpack