Demos-related user manual update.
commit76365341c7570f2e0d66528548d94ce01dbb0222
authorDidier Verna <didier@lrde.epita.fr>
Sat, 30 Oct 2010 16:21:03 +0000 (30 18:21 +0200)
committerDidier Verna <didier@lrde.epita.fr>
Sat, 30 Oct 2010 16:21:03 +0000 (30 18:21 +0200)
tree8bd7e277c7f5d7d29bac37c98402a3e8debdaa8a
parent7e015257728559ba217654bc524280e50b1e746d
Demos-related user manual update.

doc/ ChangeLog addition:

2010-10-30  Didier Verna  <didier@lrde.epita.fr>

* user.texi (Quick Start):
* user.texi (Potential Uses): Mention the correct demo programs
names.
doc/user.texi