# HG changeset patch
# User clasohm
# Date 791206923 -3600
# Node ID 35c836adf48fa45f34cf1e1b3aa910f937e9d7f2
# Parent  92abd2ad9d08e85310d073a57d988894e1e895cf
added documentation of pwd

diff -r 92abd2ad9d08 -r 35c836adf48f doc-src/Ref/introduction.tex
--- a/doc-src/Ref/introduction.tex	Fri Jan 27 12:31:18 1995 +0100
+++ b/doc-src/Ref/introduction.tex	Fri Jan 27 12:42:03 1995 +0100
@@ -79,6 +79,7 @@
 \index{files!reading}
 \begin{ttbox} 
 cd              : string -> unit
+pwd             : unit -> string
 use             : string -> unit
 time_use        : string -> unit
 \end{ttbox}
@@ -88,6 +89,8 @@
   changes the current directory to {\it dir}.  This is the default directory
   for reading files and for writing temporary files.
 
+\item[\ttindexbold{pwd} ();] returns the path of the current directory.
+
 \item[\ttindexbold{use} "$file$";]  
 reads the given {\it file} as input to the \ML{} session.  Reading a file
 of Isabelle commands is the usual way of replaying a proof.