--- dexec.man	2005-09-30 08:36:47.000000000 +0300
+++ dexec.man	2007-04-03 12:24:56.000000000 +0300
@@ -24,8 +24,8 @@
 [para]
 
 The objects follow a push model. Symbols are pushed into the executor,
-and when something important happens, i.e. and error occurs, or a
-final state is entered this will be reported via the callback
+and when something important happens, i.e. error occurs, a state transition,
+or a final state is entered this will be reported via the callback
 specified via the option [option -command]. Note that conversion of
 this into a pull model where the environment retrieves messages from
 the object and the object uses a callback to ask for more symbols is
@@ -114,6 +114,11 @@
 underlying FA. This also clears any error condition  [method put] may
 have encountered.
 
+[call [arg daName] [method state]]
+
+Returns the current state of the underlying FA. This allow for 
+introspection without the need to pass data from the callback command.
+
 [list_end]
 
 
@@ -158,6 +163,10 @@
 
 The executor was reset.
 
+[call [arg cmdprefix] [method state] [arg stateid]]
+
+The FA changed state due to a transition. [arg stateid] is the new state.
+
 [list_end]
 
 
