out-pdflatex.txt (from "make", after switching to pdflatex)
out-pdflatex.txt (text/plain), 27.43 KB, created by Ivan Zakharyaschev on 2015-11-01 16:32:27 MSK
(hide)
 
Creator: Ivan Zakharyaschev
Created: 2015-11-01 16:32:27 MSK
Size: 27.43 KB
Actions: View
Attachments on bug 31414: 6414