[Demexp-cvs] arch commit: demexp--dev--0.5--patch-8

[David]

Revision: demexp--dev--0.5--patch-8
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sat Mar 19 17:38:48 CET 2005
Standard-date: 2005-03-19 16:38:48 GMT
Modified-files: Makefile lablgtk2-clnt/addrep.ml.nw
    lablgtk2-clnt/demexp_gladeui.glade
New-patches: address@hidden/demexp--dev--0.5--patch-8
Summary: use entry box with scroll bars when adding a new response
Keywords: client

* lablgtk2-clnt/Addrep
  lablgtk2-clnt/demexp_gladeui.glade: use an entry box with scroll bars
  for entering new reponses.

* Makefile: compiling a .glade file also produces a .mli file.