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.
New option ForceSystem that makes sure we *really* get the system we ask for
authornipkow
Fri, 28 Aug 2009 18:11:42 +0200
changeset 32435 711d680eab26
parent 32425 7b32a4e08182
child 32436 10cd49e0c067
New option ForceSystem that makes sure we *really* get the system we ask for
src/HOL/Tools/ATP_Manager/SystemOnTPTP file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP_Manager/SystemOnTPTP	Thu Aug 27 18:45:58 2009 +0200
+++ b/src/HOL/Tools/ATP_Manager/SystemOnTPTP	Fri Aug 28 18:11:42 2009 +0200
@@ -19,6 +19,7 @@
     "QuietFlag" => "-q01",
     "SubmitButton" => "RunSelectedSystems",
     "ProblemSource" => "UPLOAD",
+    "ForceSystem" => "-force",
     );
 
 #----Get format and transform options if specified
isabelle