--- a/etc/settings Wed Jan 09 14:44:24 2002 +0100
+++ b/etc/settings Wed Jan 09 17:36:18 2002 +0100
@@ -75,7 +75,6 @@
### Document preparation
###
-TEXINPUTS="$ISABELLE_HOME/lib/texinputs:$TEXINPUTS"
ISABELLE_LATEX="latex"
ISABELLE_PDFLATEX="pdflatex"
ISABELLE_BIBTEX="bibtex"