--- a/CookBook/Readme.thy	Thu Jan 08 22:47:15 2009 +0000
+++ b/CookBook/Readme.thy	Sat Jan 10 12:57:48 2009 +0000
@@ -9,9 +9,7 @@
   \begin{itemize}
   \item The Cookbook can be compiled on the command-line with:
 
-  \begin{center}
-  @{text "isabelle make"}
-  \end{center}
+  @{text [display] "$ isabelle make"}
 
   You very likely need a recent snapshot of Isabelle in order to compile
   the Cookbook. Some parts of the Cookbook also rely on compilation with