Commit 7b59d2c8 authored by Léon Gondelman 's avatar Léon Gondelman

fix CoqProject

parent 82563700
......@@ -12,10 +12,10 @@ theories/c_translation/proofmode.v
theories/c_translation/translation.v
theories/vcgen/dcexpr.v
theories/vcgen/denv.v
theories/vcgen/vcg.v
theories/vcgen/forward.v
theories/vcgen/proofmode.v
theories/vcgen/vcg.v
theories/vcgen/reification.v
theories/vcgen/proofmode.v
theories/tests/basics.v
theories/tests/invoke.v
theories/tests/unknowns.v
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment