[Demexp-cvs] arch commit: demexp--dev--0.7--patch-44

[David]

Revision: demexp--dev--0.7--patch-44
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Jan 22 19:57:59 CET 2006
Standard-date: 2006-01-22 18:57:59 GMT
Modified-files: gtk2-clnt/pref.ml.nw lib/timestamp.ml.nw
New-patches: address@hidden/demexp--dev--0.7--patch-44
Summary: New code to support saving browser state in file .demexp/config
Keywords: client

* gtk2-clnt/pref.ml.nw

  New code to support saving browser state in file .demexp/config, using
  Config_file library, with corresponding autotests.

  Code cleanup: simpler and more efficient code (using mutable records)
  to access login and password for a given server.

* lib/timestamp.ml.nw

  Add some typing and new functions "of_int" and "of_float".