Subject: [Syfi-dev] [HG syfi] merge

From: [email-masked] (SyFi)
Date: Thu, 1 Nov 2007 15:13:06 +0100 (CET)

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

changeset:   944:4ad097080c586f750abe1827cff6ed2632809f01
tag:         tip
parent:      943:86e570d084a8a0bc7fdbc5952376ed38d521670e
parent:      942:6b05cbca1e31e19f9f7b0dbf14f114da9ce10346
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Nov 01 15:12:57 2007 +0100
files:       doc/efficiency/efficiency.tex
description:
merge

changeset:   943:86e570d084a8a0bc7fdbc5952376ed38d521670e
parent:      941:5f62ba5cd9597a211d12df3277992a3b861f1cd6
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Thu Nov 01 15:09:18 2007 +0100
files:       doc/efficiency/efficiency.tex
description:
Misc text updates.

changeset:   942:6b05cbca1e31e19f9f7b0dbf14f114da9ce10346
user:        martinal@localhost
date:        Wed Oct 31 22:18:53 2007 +0100
files:       doc/efficiency/efficiency.tex
description:
Updated abstract.

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