[Demexp-cvs] arch commit: demexp--development--0.3--patch-36

[David]

Revision: demexp--development--0.3--patch-36
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Sep  5 15:05:22 CEST 2004
Standard-date: 2004-09-05 13:05:22 GMT
New-files: lablgtk2-clnt/.arch-ids/pref.ml.nw.id
    lablgtk2-clnt/pref.ml.nw
Modified-files: Makefile README
    lablgtk2-clnt/clntflags.ml.nw
    lablgtk2-clnt/demexp-lablgtk2-client-book.tex
    lablgtk2-clnt/demexp-lablgtk2-client.ml.nw
New-patches: address@hidden/demexp--development--0.3--patch-36
Summary: Client: saving and restoring user preference object
Keywords: 

* lablgtk2-clnt: add --autotests option.

* lablgtk2-clnt/pref.ml.nw: Creation of Pref module to store and display
  client preferences. With autotests on backend part.

* Makefile: add demexp-lablgtk2-client in test target. Add missing 'dvi'
  target and update 'doc' target dependencies on both pdf and dvi.