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.
use different main class for batch mode
authorkleing
Wed, 07 May 2003 17:46:04 +0200
changeset 13974 9a4cb68e3315
parent 13973 9170772bf420
child 13975 c8e9a89883ce
use different main class for batch mode
lib/Tools/browser file | annotate | diff | comparison | revisions 
--- a/lib/Tools/browser	Wed May 07 17:41:23 2003 +0200
+++ b/lib/Tools/browser	Wed May 07 17:46:04 2003 +0200
@@ -78,8 +78,7 @@
   if [ -z "$OUTFILE" ]; then
     java GraphBrowser.GraphBrowser "$GRAPHFILE"
   else
-    unset DISPLAY  #paranoia setting
-    java GraphBrowser.GraphBrowser "$GRAPHFILE" "$OUTFILE"
+    java GraphBrowser.Console "$GRAPHFILE" "$OUTFILE"
   fi
   RC="$?"
isabelle