Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
recongize one more outcome string for "remote_vampire"
authorblanchet
Fri, 04 Jun 2010 16:54:10 +0200
changeset 37331 942435c34341
parent 37330 a7a150650d40
child 37332 51d99ba6fc4d
recongize one more outcome string for "remote_vampire"
src/HOL/Tools/ATP_Manager/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP_Manager/atp_systems.ML	Fri Jun 04 16:53:08 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_systems.ML	Fri Jun 04 16:54:10 2010 +0200
@@ -275,6 +275,7 @@
       ("% SZS output start Refutation", "% SZS output end Refutation")],
    known_failures =
      [(Unprovable, "Satisfiability detected"),
+      (Unprovable, "UNPROVABLE"),
       (OutOfResources, "CANNOT PROVE"),
       (OutOfResources, "Refutation not found")],
    max_axiom_clauses = 60,
isabelle