K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-11-13T00:31:42.003608Z
K 7
svn:log
V 53
print/texvc is not jobs safe (like many OCAML ports)

END