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

[David]

Revision: demexp--development--0.1--patch-114
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb 29 10:56:32 CET 2004
Standard-date: 2004-02-29 09:56:32 GMT
Modified-files: config.ml net/messages.xdr.nw
    raw-clnt/command.ml.nw raw-clnt/toplevel.ml.nw
    srv/demexp-server-book.tex srv/work.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-114
Summary: Raw client: --server option & undelegate command
Keywords: 

* raw client: changed --ip into --server option. This option now accept
  a hostname.

* renaming of XDR structure name cancel_keyword_path into
  cancel_delegation_keyword_path. 

* new command 'undelegate' on raw client.