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

[David]

Revision: demexp--development--0.1--patch-90
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sat Feb  7 22:17:53 CET 2004
Standard-date: 2004-02-07 21:17:53 GMT
Modified-files: raw-clnt/command.ml.nw
    raw-clnt/toplevel.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-90
Summary: Raw client: commands to create a new question, to print a question
Keywords: 

* Added a command (mkquest) to create a new question.

* Added a command (cat) to print the details of a question.

* Modified the code of Command.read_password such that the terminal
  setting is correclty restored if an exception occurs while the echo is
  off.