Merge pull request #42 from 4ever2/logpath

Simplify logpaths
SSProve · Jul 15, 2024 · 6b2fcff · 6b2fcff
2 parents cdaf056 + a822d0a
commit 6b2fcff
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,6 +1,4 @@
--Q theories/Mon SSProve.Mon
--Q theories/Relational SSProve.Relational
--Q theories/Crypt SSProve.Crypt
+-Q theories SSProve
 
 theories/Mon/Base.v
 theories/Mon/SPropBase.v