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.
isabelle document: adapted (postulated) defaults for tags to actual isabelle.sty;
authorwenzelm
Thu, 26 Feb 2009 17:42:36 +0100
changeset 30113 5ea17e90b08a
parent 30111 01a87bc13415
child 30114 0726792e1726
isabelle document: adapted (postulated) defaults for tags to actual isabelle.sty;
doc-src/System/Thy/Presentation.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/System/Thy/Presentation.thy	Thu Feb 26 16:59:04 2009 +0100
+++ b/doc-src/System/Thy/Presentation.thy	Thu Feb 26 17:42:36 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"}.
isabelle