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.
thank Andrei instead of Tanya
authorblanchet
Wed, 18 Aug 2010 16:42:37 +0200
changeset 38588 6a5b104f92cb
parent 38587 1317657d6aa9
child 38589 b03f8fe043ec
thank Andrei instead of Tanya
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 16:39:05 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Aug 18 16:42:37 2010 +0200
@@ -185,7 +185,7 @@
    required_execs = [],
    arguments = fn _ => fn timeout =>
      "--mode casc -t " ^ string_of_int (to_generous_secs timeout) ^
-     " --input_file",
+     " --thanks Andrei --input_file",
    proof_delims =
      [("=========== Refutation ==========",
        "======= End of refutation ======="),
isabelle