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.
remove confusing line in SPASS output (because the axiom names are off -- bug in SPASS)
authorblanchet
Mon, 26 Jul 2010 11:19:57 +0200
changeset 37990 586130f71c78
parent 37989 ca3041b0f445
child 37991 3093ab32f1e7
remove confusing line in SPASS output (because the axiom names are off -- bug in SPASS)
src/HOL/Tools/ATP_Manager/SPASS_TPTP file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP_Manager/SPASS_TPTP	Mon Jul 26 11:19:21 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/SPASS_TPTP	Mon Jul 26 11:19:57 2010 +0200
@@ -14,5 +14,6 @@
     > $name.cnf.dfg
 rm -f $name.fof.dfg
 cat $name.cnf.dfg
-$SPASS_HOME/SPASS $options $name.cnf.dfg
+$SPASS_HOME/SPASS $options $name.cnf.dfg \
+    | sed 's/\(Formulae used in the proof :\).*/\1 N\/A/'
 rm -f $name.cnf.dfg
isabelle