changeset 62589 | b5783412bfed |
parent 62302 | 236e1ea5a197 |
child 62609 | 656e9412667c |
--- a/src/Tools/jEdit/src/active.scala Thu Mar 10 12:11:50 2016 +0100 +++ b/src/Tools/jEdit/src/active.scala Thu Mar 10 17:30:04 2016 +0100 @@ -33,7 +33,7 @@ Standard_Thread.fork("browser") { val graph_file = Isabelle_System.tmp_file("graph") File.write(graph_file, XML.content(body)) - Isabelle_System.bash("\"$ISABELLE_TOOL\" browser -c \"$GRAPH_FILE\" &", + Isabelle_System.bash("isabelle browser -c \"$GRAPH_FILE\" &", env = Map("GRAPH_FILE" -> File.standard_path(graph_file))) }