![](https://secure.gravatar.com/avatar/b79687264c3e06cba13b54d05b12a9f5.jpg?s=120&d=mm&r=g)
11 Apr
2016
11 Apr
'16
4:36 a.m.
Hans Hagen mailto:pragma@wxs.nl 11. April 2016 um 00:18
new zip ... i'll only upload to the web server when ok The format is generated and I get a PDF, Luajittex does also work.
Wolfgang