Subject: [Instant-dev] [HG instant] Added TODOs for cache improvements.

From: [email-masked] (Instant)
Date: Fri, 23 Jan 2009 10:11:33 +0100 (CET)

One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.

changeset:   276:6b52ab3834b2b297da6c00f95b5f226fd37c5a11
tag:         tip
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Fri Jan 23 10:12:04 2009 +0100
files:       TODO
description:
Added TODOs for cache improvements.

changeset:   275:3fbfb5fd7d5369c88c661cd6f03b1cccc9d0699f
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Jan 15 10:40:08 2009 +0100
files:       TODO
description:
Added description of cache locking solution to TODO
along with functions to get and release file locks.
Not implementing because I don't have the time now,
but if somebody wants to finish it feel free to ask.

changeset:   274:a755cb29dcfbca1b17f8aefd5477b7c7578f57aa
user:        [email-masked]
date:        Wed Jan 14 10:20:59 2009 +0100
files:       src/instant/config.py
description:
Set correct parantheses in config.py.

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant