# HG changeset patch
# User nipkow
# Date 1251475902 -7200
# Node ID 711d680eab260ebeab61a34193128f3c78b9d625
# Parent  7b32a4e081824da32390798bfb3f3c8582fdba89
New option ForceSystem that makes sure we *really* get the system we ask for

diff -r 7b32a4e08182 -r 711d680eab26 src/HOL/Tools/ATP_Manager/SystemOnTPTP
--- 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