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

[David]

Revision: demexp--dev--0.5--patch-3
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Wed Mar 16 19:27:55 CET 2005
Standard-date: 2005-03-16 18:27:55 GMT
Modified-files: lablgtk2-clnt/demexp-lablgtk2-client-book.tex
    lablgtk2-clnt/demexp-lablgtk2-client.ml.nw
    lablgtk2-clnt/demexp_gladeui.glade
    srv/demexp-server-book.tex srv/demexp-server.ml.nw
    srv/participants.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-3
Summary: typo fix: DemExp => demexp
Keywords: client, server

* in client and server code, substitute remaining "DemExp" strings to
  "demexp".

* lablgtk2-clnt/demexp-lablgtk2-client.ml.nw: fix a compilation warning:
  print a message after client has issued the --stop-server command.