Commit 5a24300d authored by MARCHE Claude's avatar MARCHE Claude

BV realisation: ignore file

parent 0e378e25
...@@ -144,6 +144,9 @@ why3.conf ...@@ -144,6 +144,9 @@ why3.conf
/src/coq-tactic/why3tac.ml /src/coq-tactic/why3tac.ml
/src/coq-tactic/.why3-vo-* /src/coq-tactic/.why3-vo-*
# Coq
/lib/coq/bv/BV_Gen.v
# PVS # PVS
.pvscontext .pvscontext
orphaned-proofs.prf orphaned-proofs.prf
......
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