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

[David]

Revision: demexp--development--0.1--patch-127
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Mar 14 13:05:29 CET 2004
Standard-date: 2004-03-14 12:05:29 GMT
Modified-files: net/messages.xdr.nw
    srv/classification.ml.nw srv/demexp-server-book.tex
    srv/participants.ml.nw
New-patches: address@hidden/demexp--development--0.1--patch-127
Summary: Server: checking of classification invariants
Keywords: 

* net: added units for limits in net/messages.xdr.nw.

* server: added checking of classification invariants.

* server: when checking invariants, print_warning is no longer a boolean
  but a function that prints its argument if necessary. It should make
  the code more simpler and more clear.