| Mon, 08 Nov 2010 11:28:22 +0100 | wenzelm | more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour; | file | diff | annotate |
| Sun, 07 Nov 2010 22:51:16 +0100 | wenzelm | basic setup for literal replacement text in PDF, to support copy/paste of Isabelle symbols; | file | diff | annotate |
| Thu, 23 Sep 2010 13:25:01 +0200 | haftmann | reverted cs 5aced2f43837 -- no need for hardwired latex command here | file | diff | annotate |