src/Pure/System/isabelle_system.scala
changeset 54690 cd88b44623bf
parent 54645 c19c83f49fa5
child 54880 ce5faf131fd3
equal deleted inserted replaced
54689:ecaf646b865a 54690:cd88b44623bf
   417         process_output(execute(true, (List(file) ++ args): _*))
   417         process_output(execute(true, (List(file) ++ args): _*))
   418       case None => ("Unknown Isabelle tool: " + name, 2)
   418       case None => ("Unknown Isabelle tool: " + name, 2)
   419     }
   419     }
   420   }
   420   }
   421 
   421 
       
   422   def open(arg: String): Unit =
       
   423     bash("exec \"$ISABELLE_OPEN\" '" + arg + "' >/dev/null 2>/dev/null &")
       
   424 
       
   425   def pdf_viewer(arg: Path): Unit =
       
   426     bash("exec \"$PDF_VIEWER\" '" + standard_path(arg) + "' >/dev/null 2>/dev/null &")
       
   427 
   422 
   428 
   423 
   429 
   424   /** Isabelle resources **/
   430   /** Isabelle resources **/
   425 
   431 
   426   /* components */
   432   /* components */