changeset 67293 | 2fe338d91d47 |
parent 67290 | 98b6cd12f963 |
child 67309 | 0e322d7325c3 |
--- a/src/Pure/PIDE/document.scala Thu Dec 28 22:53:45 2017 +0100 +++ b/src/Pure/PIDE/document.scala Thu Dec 28 23:10:30 2017 +0100 @@ -120,6 +120,7 @@ def path: Path = Path.explode(File.standard_path(node)) def is_bibtex: Boolean = Bibtex.is_bibtex(node) + def is_bibtex_theory: Boolean = Bibtex.is_bibtex(theory) def is_theory: Boolean = theory.nonEmpty