Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fixed typo.

This commit is contained in:
Achim D. Brucker 2018-03-06 06:42:10 +00:00
parent 4eca8aa0fe
commit 0e96ddc8ac
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
document-generator/converter/src/DofConverter.scala
View File

@ -41,7 +41,7 @@ object DofConverter {
def convertFile(f: File) = {
val texFileName = f.getAbsolutePath()
println("ODF Converger: converting " + texFileName
println("ODF Converter: converting " + texFileName
+ " (Not yet fully implemented!)")
f.renameTo(new File(texFileName+".orig"))