equal
deleted
inserted
replaced
143 } |
143 } |
144 (errors.map(_._2), warnings.map(_._2)) |
144 (errors.map(_._2), warnings.map(_._2)) |
145 }) |
145 }) |
146 } |
146 } |
147 |
147 |
148 def check_database_yxml(database: String): String = |
148 object Check extends Scala.Fun("check_bibtex_database") |
149 { |
149 { |
150 import XML.Encode._ |
150 def apply(database: String): String = |
151 YXML.string_of_body(pair(list(pair(string, properties)), list(pair(string, properties)))( |
151 { |
152 check_database(database))) |
152 import XML.Encode._ |
|
153 YXML.string_of_body(pair(list(pair(string, properties)), list(pair(string, properties)))( |
|
154 check_database(database))) |
|
155 } |
153 } |
156 } |
154 |
157 |
155 |
158 |
156 |
159 |
157 /** document model **/ |
160 /** document model **/ |