# HG changeset patch
# User wenzelm
# Date 1374954630 -7200
# Node ID 49825ba687ce84da69208595668caf7d7d2e192d
# Parent  a7d69a11f395d95b8c3f8c5f39267001bb18e40d
tuned;

diff -r a7d69a11f395 -r 49825ba687ce src/Doc/System/Presentation.thy
--- a/src/Doc/System/Presentation.thy	Sat Jul 27 21:43:12 2013 +0200
+++ b/src/Doc/System/Presentation.thy	Sat Jul 27 21:50:30 2013 +0200
@@ -288,7 +288,7 @@
   @{executable pdflatex}, @{executable dvips}, @{executable bibtex}
   (for @{verbatim bbl}), and @{executable makeindex} (for @{verbatim
   idx}).  The actual commands are determined from the settings
-  environment (@{setting ISABELLE_LATEX} etc.).
+  environment (@{setting ISABELLE_PDFLATEX} etc.).
 
   The @{verbatim sty} output format causes the Isabelle style files to
   be updated from the distribution.  This is useful in special