[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-32
From: |
David |
Subject: |
[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-32 |
Date: |
Sun, 20 Feb 2005 19:26:37 +0100 |
Revision: demexp--cduce--0.3--patch-32
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Feb 20 19:26:16 CET 2005
Standard-date: 2005-02-20 18:26:16 GMT
Modified-files: Makefile lablgtk2-clnt/browser.ml.nw
lablgtk2-clnt/demexp-lablgtk2-client-book.tex
lablgtk2-clnt/demexp-lablgtk2-client.ml.nw
lib/perf.ml.nw srv/demexp-server-book.tex
New-patches: address@hidden/demexp--cduce--0.3--patch-32
Summary: performance measurement in client
Keywords: client
* Makefile: compile client with lib/Perf module.
* lablgtk2-clnt/Browser: add some timers.
* lablgtk2-clnt/demexp-lablgtk2-client.ml.nw: print timer results on
exit.
* lib/Perf: improve formatting of printed timers. New function
"print_timers" to display timer on standard output.
* srv/demexp-server-book.tex,
lablgtk2-clnt/demexp-lablgtk2-client-book.tex: update to do lists.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Demexp-cvs] arch commit: demexp--cduce--0.3--patch-32,
David <=