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.
tuned;
authorwenzelm
Sun, 13 Mar 2016 11:48:38 +0100
changeset 62609 656e9412667c
parent 62608 19f87fa0cfcb
child 62610 4c89504c76fb
tuned;
src/Tools/jEdit/src/active.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/active.scala	Sun Mar 13 10:22:46 2016 +0100
+++ b/src/Tools/jEdit/src/active.scala	Sun Mar 13 11:48:38 2016 +0100
@@ -33,8 +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 browser -c \"$GRAPH_FILE\" &",
-                    env = Map("GRAPH_FILE" -> File.standard_path(graph_file)))
+                  Isabelle_System.bash("isabelle browser -c " + File.bash_path(graph_file) + " &")
                 }
 
               case XML.Elem(Markup(Markup.GRAPHVIEW, _), body) =>
isabelle