# HG changeset patch
# User wenzelm
# Date 1117963880 -7200
# Node ID 98337d5acd0eea128d346a795701129354fbb563
# Parent  8fe678fd7fe4a5191c50d68c8ea0e412afea6c7d
added isatool version;

diff -r 8fe678fd7fe4 -r 98337d5acd0e 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"