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

[David]

Revision: demexp--development--0.1--patch-88
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sat Feb  7 12:54:16 CET 2004
Standard-date: 2004-02-07 11:54:16 GMT
Modified-files: raw-clnt/command.ml.nw
    raw-clnt/toplevel.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-88
Summary: raw client: more homogeneous calling of commands and doc update
Keywords: 

Updates on the raw client:

* Added some documentation to for toplevel and commands.

* More homogeneous calling conventions for commands: possibly modified
  parameters are called as references.