Lines Matching refs:path
33 case class Doc(name: String, title: String, path: Path) extends Entry
34 case class Text_File(name: String, path: Path) extends Entry
38 val path = Path.variable("ISABELLE_HOME") + name
39 if (path.is_file) Some(Text_File(name.implode, path))
84 def view(path: Path)
86 if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true)
88 val pdf = path.ext("pdf")
110 entries.collectFirst { case Doc(name, _, path) if doc == name => path } match {
111 case Some(path) => view(path)