[Demexp-cvs] arch commit: demexp--development--0.1--patch-115

[David]

Revision: demexp--development--0.1--patch-115
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb 29 11:08:23 CET 2004
Standard-date: 2004-02-29 10:08:23 GMT
Modified-files: raw-clnt/command.ml.nw
    raw-clnt/demexp-raw-clnt-book.tex
New-patches: address@hidden/demexp--development--0.1--patch-115
Summary: Minor fixes on raw client
Keywords: 

* Added missing explanation on undelegate command code in raw client.

* Cosmetic fixes on displayed messages in raw client.