doc-src/System/misc.tex

--- a/doc-src/System/misc.tex	Sun Jun 05 11:31:19 2005 +0200
+++ b/doc-src/System/misc.tex	Sun Jun 05 11:31:20 2005 +0200
@@ -282,6 +282,12 @@
 \end{ttbox}
 
 
+\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{Isabelle2004}.  There are no options
+nor arguments.
+
 %%% Local Variables: 
 %%% mode: latex
 %%% TeX-master: "system"