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 TeX environment hacking;
authorwenzelm
Thu, 07 Oct 1999 12:37:55 +0200
changeset 7776 8fd408765c1d
parent 7775 26898fbd19ca
child 7777 ddbaf6785d0d
removed TeX environment hacking;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Thu Oct 07 12:36:53 1999 +0200
+++ b/etc/settings	Thu Oct 07 12:37:55 1999 +0200
@@ -55,10 +55,6 @@
 ### Document preparation
 ###
 
-#TeX environment hacking (for teTeX)
-unset TEXMF
-PATH="/usr/local/tetex-1.0/bin:$PATH"
-
 TEXINPUTS="$ISABELLE_HOME/lib/texinputs:$TEXINPUTS"
 ISABELLE_LATEX="latex"
 ISABELLE_PDFLATEX="pdflatex"
isabelle