Move alt-ergo-prv later in the file.

That way, unrecognized versions of Alt-Ergo (e.g. 2.0) are no longer associated to obsolete versions, by default.

Move alt-ergo-prv later in the file.
That way, unrecognized versions of Alt-Ergo (e.g. 2.0) are no longer associated to obsolete versions, by default.
2d250689 · Guillaume Melquiond · 4ff1dd2a · 2d250689
Commit 2d250689 authored Nov 22, 2017 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 16 additions and 16 deletions

share/provers-detection-data.conf share/provers-detection-data.conf +16 -16

No files found.
--- a/share/provers-detection-data.conf
+++ b/share/provers-detection-data.conf
-[ATP alt-ergo-prv]
-name = "Alt-Ergo"
-exec = "alt-ergo"
-exec = "alt-ergo-1.20.prv"
-exec = "alt-ergo-1.10.prv"
-exec = "alt-ergo-1.00.prv"
-version_switch = "-version"
-version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$"
-version_old = "1.20.prv"
-version_old = "1.10.prv"
-version_old = "1.00.prv"
-command = "%e -timelimit %t %f"
-command_steps = "%e -steps-bound %S %f"
-driver = "alt_ergo"
-editor = "altgr-ergo"
-
 [ATP alt-ergo]
 name = "Alt-Ergo"
 exec = "alt-ergo"
@@ -43,6 +27,22 @@ command_steps = "%e -no-rm-eq-existential -steps-bound %S %f"
 driver = "alt_ergo"
 editor = "altgr-ergo"

+[ATP alt-ergo-prv]
+name = "Alt-Ergo"
+exec = "alt-ergo"
+exec = "alt-ergo-1.20.prv"
+exec = "alt-ergo-1.10.prv"
+exec = "alt-ergo-1.00.prv"
+version_switch = "-version"
+version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$"
+version_old = "1.20.prv"
+version_old = "1.10.prv"
+version_old = "1.00.prv"
+command = "%e -timelimit %t %f"
+command_steps = "%e -steps-bound %S %f"
+driver = "alt_ergo"
+editor = "altgr-ergo"
+
 # CVC4 version 1.5
 [ATP cvc4-15]
 name = "CVC4"