Subject: [UFC-dev] [HG ufc] merge

From: [email-masked] (UFC)
Date: Sat, 8 Sep 2007 00:53:39 +0200 (CEST)

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

changeset:   177:39be910ed6a1c7934dce8a11b5a1edc67f77b71d
tag:         tip
parent:      176:9127ae6598d6f786b6afaa45519afecd11c18014
parent:      175:a542653c0071dbc655ad06f50fc9198323c38c0e
user:        "Anders Logg <[email-masked]>"
date:        Sat Sep 08 00:53:30 2007 +0200
files:       
description:
merge

changeset:   176:9127ae6598d6f786b6afaa45519afecd11c18014
parent:      174:8330df892c73c9d720d1424a49beaabfb553f551
user:        "Anders Logg <[email-masked]>"
date:        Sat Sep 08 00:53:01 2007 +0200
files:       doc/manual/eps/insertion.eps doc/manual/svg/insertion.svg
description:
Fix insertion.eps

changeset:   175:a542653c0071dbc655ad06f50fc9198323c38c0e
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Wed Sep 05 19:38:48 2007 +0200
files:       doc/manual/chapters/interface.tex
description:
Added comments about value_rank and value_size for mixed element
with varying value_rank for its subelements.

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