forked from Isabelle_DOF/Isabelle_DOF
Improved warning message.
This commit is contained in:
parent
b63c8da6cb
commit
0929d73541
|
@ -106,6 +106,7 @@ object DofConverter {
|
|||
println(texFiles)
|
||||
val errors = texFiles.map(file => convertFile(file)).flatten
|
||||
if(!errors.isEmpty) {
|
||||
println()
|
||||
println("DOF LaTeX converter error(s):")
|
||||
println("=============================")
|
||||
errors.map{case (file:String, err:LaTeXLexerError) => println(file + ": " + err)}
|
||||
|
|
Reference in New Issue