Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed TEXINPUTS;
authorwenzelm
Wed, 09 Jan 2002 17:36:18 +0100
changeset 12687 a44fd835df98
parent 12686 2b0aa746e4b8
child 12688 4ad13c2f7196
removed TEXINPUTS;
etc/settings file | annotate | diff | comparison | revisions 
--- 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"
isabelle