6 Apr
2018
6 Apr
'18
8:19 p.m.
Hans, the attached patch fixes three minor typos in xml-mkiv.tex. I hope it helps, Pablo -- http://www.ousia.tk