[Demexp-cvs] arch commit: demexp--dev--0.5--patch-54

[David]

Revision: demexp--dev--0.5--patch-54
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jul  3 14:55:13 CEST 2005
Standard-date: 2005-07-03 12:55:13 GMT
Modified-files: doc/demexp-book.tex
    doc/demexp-gtk2-client.1 doc/demexp-server.1
    gtk2-clnt/clsf.ml.nw gtk2-clnt/demexp-gtk2-client.ml.nw
    srv/demexp-server.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-54
Summary: update of man pages
Keywords: doc, client

* doc/demexp-gtk2-client.1
  doc/demexp-server.1: update of man pages to document latest code
  behavior and file use.

* srv/demexp-server.ml.nw
  gtk2-clnt/demexp-gtk2-client.ml.nw: cosmetic re-ordering of options.

* gtk2-clnt/clsf.ml.nw: wrapping of question in description in
  classification window.

* doc/demexp-book.tex: update TODO list.