isatool version: clarify that this is the *long* form;

--- a/doc-src/System/misc.tex	Thu Nov 15 11:49:02 2007 +0100
+++ b/doc-src/System/misc.tex	Thu Nov 15 11:49:03 2007 +0100
@@ -278,9 +278,9 @@
 
 \section{Output the version identifier of the Isabelle distribution --- \texttt{isatool version}}
 
-The \tooldx{version} utility outputs the version identifier of the Isabelle
-distribution being used, e.g.\ \texttt{Isabelle2005}.  There are no options
-nor arguments.
+The \tooldx{version} utility outputs the full version string of the
+Isabelle distribution being used, e.g.\ ``\texttt{Isabelle2007:
+  November 2007}''.  There are no options nor arguments.
 
 %%% Local Variables: 
 %%% mode: latex