diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-04-25 19:46:30 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-04-25 21:17:11 +0200 |
commit | 8330f5cfd6a332df10fc806b0c0bdab6e0abe8e7 (patch) | |
tree | 56ab646154a576454a1ee34ad1cc0a8c6e7a70fe /stm/stm.mllib | |
parent | 9e36fa1e7460d256a4f9f37571764f79050688e2 (diff) |
Adding a stm/ folder, as asked during last workgroup. It was essentially moving
files around. A bunch of files from lib/ that were only used in the STM were
moved, as well as part of toplevel/ related to the STM.
Diffstat (limited to 'stm/stm.mllib')
-rw-r--r-- | stm/stm.mllib | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/stm/stm.mllib b/stm/stm.mllib new file mode 100644 index 000000000..347416099 --- /dev/null +++ b/stm/stm.mllib @@ -0,0 +1,9 @@ +Spawned +Dag +Vcs +TQueue +WorkerPool +Vernac_classifier +Lemmas +Stm +Vi_checking |