# HG changeset patch
# User wenzelm
# Date 1235666563 -3600
# Node ID 0726792e1726588ce34946a912df1fbe6cb7540f
# Parent  5ea17e90b08a1e82b681696bde5a3e6233de2c28
updated generated files;

diff -r 5ea17e90b08a -r 0726792e1726 doc-src/System/Thy/document/Presentation.tex
--- a/doc-src/System/Thy/document/Presentation.tex	Thu Feb 26 17:42:36 2009 +0100
+++ b/doc-src/System/Thy/document/Presentation.tex	Thu Feb 26 17:42:43 2009 +0100
@@ -668,7 +668,7 @@
   tagged Isabelle command regions.  Tags are specified as a comma
   separated list of modifier/name pairs: ``\verb|+|\isa{foo}'' (or just ``\isa{foo}'') means to keep, ``\verb|-|\isa{foo}'' to drop, and ``\verb|/|\isa{foo}'' to
   fold text tagged as \isa{foo}.  The builtin default is equivalent
-  to the tag specification ``\verb|/theory,/proof,/ML,+visible,-invisible|''; see also the {\LaTeX}
+  to the tag specification ``\verb|+theory,+proof,+ML,+visible,-invisible|''; see also the {\LaTeX}
   macros \verb|\isakeeptag|, \verb|\isadroptag|, and
   \verb|\isafoldtag|, in \hyperlink{file.~~/lib/texinputs/isabelle.sty}{\mbox{\isa{\isatt{{\isachartilde}{\isachartilde}{\isacharslash}lib{\isacharslash}texinputs{\isacharslash}isabelle{\isachardot}sty}}}}.