# HG changeset patch
# User wenzelm
# Date 1412431899 -7200
# Node ID dfbfc92118eb7432c7a60ea5ffbeb4f15982ddf9
# Parent  af2fc25662b606aa131eb34b3e6d2249c1758d15
fields are case-insensitive;

diff -r af2fc25662b6 -r dfbfc92118eb src/Pure/Tools/bibtex.scala
--- a/src/Pure/Tools/bibtex.scala	Sat Oct 04 16:02:17 2014 +0200
+++ b/src/Pure/Tools/bibtex.scala	Sat Oct 04 16:11:39 2014 +0200
@@ -40,9 +40,9 @@
     optional_crossref: List[String],
     optional_other: List[String])
   {
-    def is_required(s: String): Boolean = required.contains(s)
+    def is_required(s: String): Boolean = required.contains(s.toLowerCase)
     def is_optional(s: String): Boolean =
-      optional_crossref.contains(s) || optional_other.contains(s)
+      optional_crossref.contains(s.toLowerCase) || optional_other.contains(s.toLowerCase)
 
     def fields: List[String] = required ::: optional_crossref ::: optional_other
     def template: String =