| changeset 26908 | 25fb7241f32e |
| parent 26212 | 225b40bf36a7 |
| child 27202 | 1a604efd267d |
--- a/etc/settings Thu May 15 18:12:43 2008 +0200 +++ b/etc/settings Thu May 15 20:02:37 2008 +0200 @@ -116,10 +116,6 @@ # Paranoia setting for strange latex installations ... #unset TEXMF -# If ISABELLE_THUMBPDF is set, isatool tries to -# generate thumbnails for proof documents -#type -path thumbpdf >/dev/null && ISABELLE_THUMBPDF="thumbpdf" - ### ### Misc path settings