Index: /trunk/FACT++/src/Readline.cc
===================================================================
--- /trunk/FACT++/src/Readline.cc	(revision 11048)
+++ /trunk/FACT++/src/Readline.cc	(revision 11049)
@@ -1170,4 +1170,12 @@
 }
 
+// --------------------------------------------------------------------------
+//
+//! @returns
+//!    the status of rl_done and rl_pending_input. If rl_done==1 and
+//!    rl_pending_input==4 true is returned, false otherwise.
+//!    This can be used to check if Stop() was called. If readline is
+//!    not in operation.
+//!
 bool Readline::IsStopped() const
 {