1.1 --- a/etc/settings	Thu May 15 18:12:43 2008 +0200
     1.2 +++ b/etc/settings	Thu May 15 20:02:37 2008 +0200
     1.3 @@ -116,10 +116,6 @@
     1.4  # Paranoia setting for strange latex installations ...
     1.5  #unset TEXMF
     1.6  
     1.7 -# If ISABELLE_THUMBPDF is set, isatool tries to
     1.8 -# generate thumbnails for proof documents
     1.9 -#type -path thumbpdf >/dev/null && ISABELLE_THUMBPDF="thumbpdf"
    1.10 -
    1.11  
    1.12  ###
    1.13  ### Misc path settings