Commit 67627df0 authored by MARCHE Claude's avatar MARCHE Claude

examples/prover: cleaning

parent c530c063
......@@ -301,9 +301,9 @@ pvsbin/
/examples/in_progress/bigInt/*__*.ml
/examples/in_progress/mp/jsmain.js
/examples/in_progress/mp/*__*.ml
/examples/prover/build/*__*.ml
/examples/prover/.depend
/examples/prover/build/prover
/examples/prover/prover
/examples/prover/prover.ml
/examples/prover/bench/*/*.out
/examples/prover/bench/*/*.txt
/examples/prover/bench1
......
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