Subject: [FFC-dev] [HG FFC] Recompile manual, update makedist script and temporarily skip

From: [email-masked] (FFC)
Date: Wed, 20 Jun 2007 01:10:08 +0200 (CEST)

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

changeset:   904:55956f164e055ebca4b83f65637468b8bb848c73
tag:         tip
user:        "Anders Logg <[email-masked]>"
date:        Wed Jun 20 01:10:05 2007 +0200
files:       doc/manual/ffc-user-manual.pdf scripts/makedist src/bench/bench
description:
Recompile manual, update makedist script and temporarily skip
benchmark of Stabilization.form since remove_unused() takes too long.

changeset:   903:f228b86c6386892d1f8c497f72407ef88e47d20c
user:        "Anders Logg <[email-masked]>"
date:        Wed Jun 20 00:52:14 2007 +0200
files:       TODO
description:
Update TODO

changeset:   902:9bf21d21b01ea41ee48dee1448836c9d69959439
user:        "Anders Logg <[email-masked]>"
date:        Wed Jun 20 00:46:05 2007 +0200
files:       src/ffc/compiler/compiler.py
description:
Remove some debugging (profiling) in compiler.py

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