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

From: [email-masked] (UFC)
Date: Tue, 12 Jun 2007 14:27:38 +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:   142:4b5d5e9c5a3a9cd3ac273d0c3ada8395f655917c
tag:         tip
parent:      141:8d07400fce0158afc9fd69fc9096e0f986d56f7d
parent:      140:66198db54244a0fc16c879c22e86b8e281956da5
user:        "Anders Logg <[email-masked]>"
date:        Tue Jun 12 14:27:23 2007 +0200
files:       doc/manual/ufc-user-manual.pdf
description:
merge

changeset:   141:8d07400fce0158afc9fd69fc9096e0f986d56f7d
parent:      137:8030c96315ffbd6d657a7090b45e0cb580bb388d
user:        "Anders Logg <[email-masked]>"
date:        Tue Jun 12 14:26:25 2007 +0200
files:       doc/manual/chapters/assembly.tex doc/manual/chapters/interface.tex doc/manual/ufc-user-manual.pdf
description:
Edit interface sections 3.8 and 3.9 (integrals).

changeset:   140:66198db54244a0fc16c879c22e86b8e281956da5
user:        "Martin Sandve Alnæs <[email-masked]>"
date:        Tue Jun 12 10:57:24 2007 +0200
files:       doc/manual/chapters/installation.tex doc/manual/ufc-user-manual.pdf
description:
Final(?) iteration on installation chapter.

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