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

[David]

Revision: demexp--dev--0.5--patch-35
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Tue Jun 21 22:22:03 CEST 2005
Standard-date: 2005-06-21 20:22:03 GMT
New-files: gtk2-clnt/.arch-ids/cache.ml.nw.id
    gtk2-clnt/cache.ml.nw
Modified-files: Makefile config.ml gtk2-clnt/browser.ml.nw
    gtk2-clnt/demexp-gtk2-client-book.tex srv/id.ml.nw
New-patches: address@hidden/demexp--dev--0.5--patch-35
Summary: creation of Cache module for client
Keywords: client

* Makefile
  gtk2-clnt/demexp-gtk2-client-book.tex: compile and produce doc of new
  Cache module.

* config.ml
  gtk2-clnt/Browser: rename "raw_client_version" into "client_version".

* gtk2-clnt/Cache: new module to handle caching in client. First code,
  not finished.