Subject: [Instant-dev] [HG instant] merge

From: [email-masked] (Instant)
Date: Wed, 3 Sep 2008 08:03:49 +0200 (CEST)

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

changeset:   209:0c5193022ab3f372225b924ffdddc64287e5e614
tag:         tip
parent:      208:e792bd713cc58ea210c25714210d8c78907f7283
parent:      207:1ab50e72852091167c43c9cc43e780cdefac2cde
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 03 08:04:31 2008 +0200
files:       
description:
merge

changeset:   208:e792bd713cc58ea210c25714210d8c78907f7283
parent:      204:c0526d7ae13bef129aa1fb1a110a30371d7f4ec0
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 03 08:04:18 2008 +0200
files:       TODO
description:
Updated TODO list. Planning on some more renaming and cache improvement.

changeset:   207:1ab50e72852091167c43c9cc43e780cdefac2cde
user:        Kent-Andre Mardal <[email-masked]>
date:        Tue Sep 02 22:23:14 2008 +0200
files:       tests/run_tests.sh
description:
bug fix in run_tests.sh

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