Sun, 07 Nov 2010 23:32:26 +0100 | wenzelm | tweaked pdf setup to allow modification of \pdfminorversion; | changeset | files |
Sun, 07 Nov 2010 23:12:40 +0100 | wenzelm | merged; | changeset | files |
Sun, 07 Nov 2010 23:12:21 +0100 | wenzelm | updated generated files; | changeset | files |