Mercurial Mercurial > hg > isabelle-cookbook / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CookBook/Intro.thy
changeset 120 c39f83d8daeb
parent 119 4536782969fa
child 121 26e5b41faa74 
--- a/CookBook/Intro.thy	Sat Feb 14 16:09:04 2009 +0000
+++ b/CookBook/Intro.thy	Sun Feb 15 18:58:21 2009 +0000
@@ -118,8 +118,8 @@
   \begin{itemize}
   \item {\bf Stefan Berghofer} wrote nearly all of the ML-code of the 
   \simpleinductive-package and the code for the @{text "chunk"}-antiquotation. He also wrote the first
-  version of the chapter describing the package and has generally be 
-  helpful beyond measure with answering questions about Isabelle. 
+  version of the chapter describing the package and has be 
+  helpful \emph{beyond measure} with answering questions about Isabelle. 
 
   \item {\bf Sascha Böhme} contributed the recipes in \ref{rec:timeout}, 
   \ref{rec:config}, \ref{rec:storingdata}, \ref{rec:external} and \ref{rec:oracle}.
isabelle-cookbook