Subject: [FFC-dev] [HG] Update man page with new option: -O/--optimize

From: FFC <[email-masked]>
Date: Sat, 01 Apr 2006 16:53:50 +0200

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

changeset:   377:ca239421036b8d7129d5574189a6200b26f6e921
tag:         tip
user:        "Anders Logg <[email-masked]>"
date:        Sat Apr  1 16:51:53 2006 -0500
files:       doc/man/man1/ffc.1.gz src/bin/ffc
description:
Update man page with new option: -O/--optimize

changeset:   376:1d00637c8c7acac9d843e3c96fde477c8742edde
user:        "Anders Logg <[email-masked]>"
date:        Sat Apr  1 16:26:33 2006 -0500
files:       src/bin/ffc src/ffc/format/ase.py src/ffc/format/dolfinswig.py src/ffc/format/latex.py src/ffc/format/raw.py src/ffc/format/xml.py
description:
Update remaining formats for FErari optimizations

changeset:   375:61207b74eb32132cc738b22252b4e6f2f0cef26c
user:        "Anders Logg <[email-masked]>"
date:        Fri Mar 31 19:32:24 2006 -0500
files:       ChangeLog src/bin/ffc src/ffc/compiler/optimization.py
description:
Optimization seems to work with latest version of FErari,
debugging printout removed from compilation with -O.

The first version of FErari will be released soon together with
a new version of FFC.

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