The file xii.tex Copyright David Carlisle
is licenced under the LPPL (status maintained)
see

https://code.google.com/p/dpctex/
http://latex-project.org/lppl/