# HG changeset patch
# User wenzelm
# Date 1195123743 -3600
# Node ID bafaea364a66a837cfe14cca124e244fea4fe8b0
# Parent  746677c843a7b98619d430d5c5ca1c337a54ca35
isatool version: clarify that this is the *long* form;

diff -r 746677c843a7 -r bafaea364a66 doc-src/System/misc.tex
--- 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