--- 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}}}}.