Subject: [Instant-dev] [HG instant] Added description of cache locking solution to TODO

From: [email-masked] (Instant)
Date: Thu, 15 Jan 2009 10:40:10 +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:   275:3fbfb5fd7d5369c88c661cd6f03b1cccc9d0699f
tag:         tip
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.

changeset:   273:fc764518d88c3daf58b14d28928242db9097e76a
user:        Kent-Andre Mardal <[email-masked]>
date:        Tue Jan 13 18:44:14 2009 +0100
files:       AUTHORS
description:
update

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