../ COPYING 25-May-2006 14:48 18008 tempora-doc.pdf 03-Feb-2016 13:13 239907 tempora-doc.tex 03-Feb-2016 13:13 7519