src/Pure/Tools/doc.scala
changeset 54690 cd88b44623bf
parent 53935 59c6dbdf0a38
child 56276 9e2d5e3debd3
--- a/src/Pure/Tools/doc.scala	Sat Dec 07 12:52:31 2013 +0100
+++ b/src/Pure/Tools/doc.scala	Sat Dec 07 13:10:56 2013 +0100
@@ -81,12 +81,10 @@
 
   def view(name: String)
   {
-    val doc = name + ".pdf"
-    dirs().find(dir => (dir + Path.basic(doc)).is_file) match {
-      case Some(dir) =>
-        Isabelle_System.bash_env(dir.file, null,
-          "\"$ISABELLE_TOOL\" display " + quote(doc) + " >/dev/null 2>/dev/null &")
-      case None => error("Missing Isabelle documentation file: " + quote(doc))
+    val doc = Path.basic(name + ".pdf")
+    dirs().find(dir => (dir + doc).is_file) match {
+      case Some(dir) => Isabelle_System.pdf_viewer(dir + doc)
+      case None => error("Missing Isabelle documentation file: " + doc)
     }
   }