Skip to content
Snippets Groups Projects
Commit 77cc50e9 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[wp-qualif] Default is now Coq 8.13

parent 3d151303
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
+ 1
− 1
View file @ 77cc50e9
......@@ -3,5 +3,5 @@ WP Requirements for Qualif Tests (3)
----------------------------------------------------------
1. The Alt-Ergo theorem prover, version 2.2.0
2. The Why3 platform, version 1.4.0
3. The Coq Proof Assistant, version 8.12.0
3. The Coq Proof Assistant, version 8.13.0
----------------------------------------------------------
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