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.
Changed prob1.dfg to prob_1.dfg
authorquigley
Thu, 07 Apr 2005 18:35:21 +0200
changeset 15681 b667c22edb36
parent 15680 83164f078985
child 15682 09a7b8909c4d
Changed prob1.dfg to prob_1.dfg
src/HOL/Tools/ATP/watcher.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/watcher.ML	Thu Apr 07 18:33:56 2005 +0200
+++ b/src/HOL/Tools/ATP/watcher.ML	Thu Apr 07 18:35:21 2005 +0200
@@ -110,7 +110,7 @@
                                                          val exec_tptp2x = Unix.execute("/usr/groups/theory/tptp/TPTP-v2.6.0/TPTP2X/tptp2X", ["-fdfg "^probfile^" -d "^dfg_path])
                                                        (*val _ = Posix.Process.wait ()*)
                                                        (*val _ =Unix.reap exec_tptp2x*)
-                                                         val newfile = dfg_path^"/prob"^(probID)^".dfg"
+                                                         val newfile = dfg_path^"/prob"^"_"^(probID)^".dfg"
                                        
                                                       in   
                                                          goals_being_watched := (!goals_being_watched) + 1;
isabelle