equal
deleted
inserted
replaced
117 case _ => false |
117 case _ => false |
118 } |
118 } |
119 |
119 |
120 def path: Path = Path.explode(File.standard_path(node)) |
120 def path: Path = Path.explode(File.standard_path(node)) |
121 |
121 |
122 def is_bibtex: Boolean = Bibtex.check_name(node) |
122 def is_bibtex: Boolean = Bibtex.is_bibtex(node) |
123 |
123 |
124 def is_theory: Boolean = theory.nonEmpty |
124 def is_theory: Boolean = theory.nonEmpty |
125 |
125 |
126 def theory_base_name: String = Long_Name.base_name(theory) |
126 def theory_base_name: String = Long_Name.base_name(theory) |
127 |
127 |