src/Tools/VSCode/src/vscode_resources.scala

--- a/src/Tools/VSCode/src/vscode_resources.scala	Wed Nov 07 14:06:43 2018 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Wed Nov 07 21:42:16 2018 +0100
@@ -123,10 +123,8 @@
 
   def read_file_content(file: JFile): Option[String] =
   {
-    Bibtex.make_theory_content(file) orElse {
-      try { Some(Line.normalize(File.read(file))) }
-      catch { case ERROR(_) => None }
-    }
+    try { Some(Line.normalize(File.read(file))) }
+    catch { case ERROR(_) => None }
   }
 
   def get_file_content(file: JFile): Option[String] =
@@ -226,8 +224,8 @@
 
         val thy_files2 =
           (for {
-            (_, model) <- st.models.iterator if model.node_name.is_bibtex
-            thy_name <- Bibtex.make_theory_name(resources, model.node_name)
+            (_, model) <- st.models.iterator
+            thy_name <- resources.make_theory_name(model.node_name)
           } yield thy_name).toList