
diff -r 8084c353d196 -r c22b507e1407 CookBook/Intro.thy
--- a/CookBook/Intro.thy	Fri Feb 27 15:59:38 2009 +0000
+++ b/CookBook/Intro.thy	Sat Feb 28 14:18:02 2009 +0000
@@ -48,9 +48,9 @@
   now, but some  parts, particularly the chapters on tactics, are still 
   useful.
 
-  \item[The Isar Reference Manual] is also an older document that provides
-  material about Isar and its implementation. Some material in it
-  is still useful.
+  \item[The Isar Reference Manual] provides specification material (like grammars,
+  examples and so on) about Isar and its implementation. It is currently in
+  the process of being updated.  .
   \end{description}
 
   Then of course there is:
@@ -136,7 +136,20 @@
   \end{itemize}
 
   Please let me know of any omissions. Responsibility for any remaining
-  errors lies with me.
+  errors lies with me.\bigskip
+
+  {\Large\bf
+  This document is still in the process of being written! All of the
+  text is still under constructions. Sections and 
+  chapters that are under \underline{heavy} construction are marked 
+  with TBD.}
+
+  
+  \vfill
+  This document was compiled with:\\
+  \input{version}
 *}
 
+
+
 end
\ No newline at end of file




