X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=web%2Fmanual.md;fp=web%2Fmanual.md;h=c31e1d3146739cf8fd966e2f119c1de5ef191b66;hp=0b9b0fdd8648c0d4dc271143a72679b8ffd5c452;hb=ffab33352cd61df01b221c0438c8847af7a20e0c;hpb=60f4105f29a76b56d2c20b626945c39424cce409

diff --git a/web/manual.md b/web/manual.md
index 0b9b0fdd..c31e1d31 100644
--- a/web/manual.md
+++ b/web/manual.md
@@ -257,7 +257,10 @@ para_write can also be used as a stand-alone WAV or raw audio player.
 
 <h3> para_play </h3>
 
-A command line audio player.
+A command line audio player which supports the same audio formats as
+para_server. It differs from other players in that it has an insert
+and a command mode, like the vi editor. Line editing is based on
+libreadline, and tab completion and command history are supported.
 
 <h3> para_gui </h3>