--- a/doc-src/System/Thy/Presentation.thy Wed Mar 04 10:43:39 2009 +0100
+++ b/doc-src/System/Thy/Presentation.thy Wed Mar 04 10:45:52 2009 +0100
@@ -654,7 +654,7 @@
"-"}@{text foo}'' to drop, and ``@{verbatim "/"}@{text foo}'' to
fold text tagged as @{text foo}. The builtin default is equivalent
to the tag specification ``@{verbatim
- "/theory,/proof,/ML,+visible,-invisible"}''; see also the {\LaTeX}
+ "+theory,+proof,+ML,+visible,-invisible"}''; see also the {\LaTeX}
macros @{verbatim "\\isakeeptag"}, @{verbatim "\\isadroptag"}, and
@{verbatim "\\isafoldtag"}, in @{"file"
"~~/lib/texinputs/isabelle.sty"}.