--- a/src/Pure/Thy/bibtex.scala Wed Nov 07 22:15:03 2018 +0100
+++ b/src/Pure/Thy/bibtex.scala Wed Nov 07 22:31:56 2018 +0100
@@ -23,28 +23,11 @@
class File_Format extends isabelle.File_Format
{
val format_name: String = "bibtex"
- val node_suffix: String = "bibtex_file"
-
- def detect(name: String): Boolean = is_bibtex(name)
+ val file_ext: String = "bib"
- override def make_theory_name(
- resources: Resources, name: Document.Node.Name): Option[Document.Node.Name] =
- {
- for { (_, ext_name) <- Thy_Header.split_file_name(name.node) if detect(ext_name) }
- yield {
- val thy_node = resources.append(name.node, Path.explode(node_suffix))
- Document.Node.Name(thy_node, name.master_dir, ext_name)
- }
- }
-
- override def make_theory_content(
- resources: Resources, thy_name: Document.Node.Name): Option[String] =
- {
- for {
- (prefix, suffix) <- Thy_Header.split_file_name(thy_name.node) if suffix == node_suffix
- (_, ext_name) <- Thy_Header.split_file_name(prefix) if detect(ext_name)
- } yield """theory "bib" imports Pure begin bibtex_file """ + quote(ext_name) + """ end"""
- }
+ override def theory_suffix: String = "bibtex_file"
+ override def theory_content(ext_name: String): String =
+ """theory "bib" imports Pure begin bibtex_file """ + quote(ext_name) + """ end"""
override def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
{