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 |
Sun, 07 Nov 2010 22:51:16 +0100 | wenzelm | basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols; | changeset | files |
Sun, 07 Nov 2010 22:42:49 +0100 | wenzelm | updated generated file; | changeset | files |
Sun, 07 Nov 2010 22:26:25 +0100 | wenzelm | more literal appearance of antiqopen/antiqclose; | changeset | files |