Subject: [UFC-dev] [HG UFC] changed hpl to last author of UFC manual

From: [email-masked] (UFC)
Date: Fri, 25 Jan 2008 14:05:04 +0100 (CET)

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

changeset:   211:88b8872bcc368e7c5085444a5db6697af8c740cd
tag:         tip
parent:      210:5aeb7764f03e35c37e0ed6df9724eba93ad16317
parent:      209:f856c91fdff5e6d26ef10625e246dc13b55e7140
user:        "Hans Petter Langtangen <[email-masked]>"
date:        Fri Jan 25 14:05:01 2008 +0100
files:       
description:
changed hpl to last author of UFC manual

changeset:   210:5aeb7764f03e35c37e0ed6df9724eba93ad16317
parent:      205:13c28b38398645cf4fc32421540d4fb0ecadccfe
user:        "Hans Petter Langtangen <[email-masked]>"
date:        Fri Jan 25 14:04:39 2008 +0100
files:       doc/manual/ufc-user-manual.pdf doc/manual/ufc-user-manual.tex
description:
changed hpl to last author of UFC manual

changeset:   209:f856c91fdff5e6d26ef10625e246dc13b55e7140
user:        martinal@localhost
date:        Mon Jan 14 21:40:48 2008 +0100
files:       TODO
description:
Added a couple of optimization suggestions to TODO.

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