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.
removed workaround
authorblanchet
Tue, 17 Dec 2013 14:22:42 +0100 (2013-12-17)
changeset 54790 cf38cffc3bd3
parent 54789 6ff7855a6cc2
child 54791 3478fadb514e
removed workaround
src/HOL/Tools/ATP/scripts/remote_spass_pirate file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/scripts/remote_spass_pirate	Tue Dec 17 14:15:23 2013 +0100
+++ b/src/HOL/Tools/ATP/scripts/remote_spass_pirate	Tue Dec 17 14:22:42 2013 +0100
@@ -1,3 +1,2 @@
 #!/usr/bin/env bash
-curl -F file=@"$2" "http://91.228.53.68:8080/solve/pirate/"$1"s" \
-  | sed "s/Invovled clauses/Involved clauses/"
+curl -F file=@"$2" "http://91.228.53.68:8080/solve/pirate/"$1"s"
isabelle