added isatool version;
authorwenzelm
Sun Jun 05 11:31:20 2005 +0200 (2005-06-05)
changeset 1625798337d5acd0e
parent 16256 8fe678fd7fe4
child 16258 f3d913abf7e5
added isatool version;
doc-src/System/misc.tex
     1.1 --- a/doc-src/System/misc.tex	Sun Jun 05 11:31:19 2005 +0200
     1.2 +++ b/doc-src/System/misc.tex	Sun Jun 05 11:31:20 2005 +0200
     1.3 @@ -282,6 +282,12 @@
     1.4  \end{ttbox}
     1.5  
     1.6  
     1.7 +\section{Output the version identifier of the Isabelle distribution --- \texttt{isatool version}}
     1.8 +
     1.9 +The \tooldx{version} utility outputs the version identifier of the Isabelle
    1.10 +distribution being used, e.g.\ \texttt{Isabelle2004}.  There are no options
    1.11 +nor arguments.
    1.12 +
    1.13  %%% Local Variables: 
    1.14  %%% mode: latex
    1.15  %%% TeX-master: "system"