equal
deleted
inserted
replaced
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.is_bibtex(node) |
122 def is_bibtex: Boolean = Bibtex.is_bibtex(node) |
|
123 def is_bibtex_theory: Boolean = Bibtex.is_bibtex(theory) |
123 |
124 |
124 def is_theory: Boolean = theory.nonEmpty |
125 def is_theory: Boolean = theory.nonEmpty |
125 |
126 |
126 def theory_base_name: String = Long_Name.base_name(theory) |
127 def theory_base_name: String = Long_Name.base_name(theory) |
127 |
128 |