[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--dev--0.7--patch-44
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--dev--0.7--patch-44 |
Date: |
Sun, 22 Jan 2006 19:58:27 +0100 |
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".
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--dev--0.7--patch-44,
David <=