doc-src/TutorialI/fp.tex

--- a/doc-src/TutorialI/fp.tex	Wed Jun 22 07:54:13 2005 +0200
+++ b/doc-src/TutorialI/fp.tex	Wed Jun 22 09:26:18 2005 +0200
@@ -106,7 +106,7 @@
 Manual~\cite{isabelle-isar-ref}.
 
 \begin{pgnote}
-Clicking on the \textsf{State} button redisplays the current proof state.
+Clicking on the \pgmenu{State} button redisplays the current proof state.
 This is helpful in case commands like \isacommand{thm} have overwritten it.
 \end{pgnote}