equal
deleted
inserted
replaced
79 |
79 |
80 /* view */ |
80 /* view */ |
81 |
81 |
82 def view(name: String) |
82 def view(name: String) |
83 { |
83 { |
84 val doc = name + ".pdf" |
84 val doc = Path.basic(name + ".pdf") |
85 dirs().find(dir => (dir + Path.basic(doc)).is_file) match { |
85 dirs().find(dir => (dir + doc).is_file) match { |
86 case Some(dir) => |
86 case Some(dir) => Isabelle_System.pdf_viewer(dir + doc) |
87 Isabelle_System.bash_env(dir.file, null, |
87 case None => error("Missing Isabelle documentation file: " + doc) |
88 "\"$ISABELLE_TOOL\" display " + quote(doc) + " >/dev/null 2>/dev/null &") |
|
89 case None => error("Missing Isabelle documentation file: " + quote(doc)) |
|
90 } |
88 } |
91 } |
89 } |
92 |
90 |
93 |
91 |
94 /* command line entry point */ |
92 /* command line entry point */ |