Commit from fenics (2005-02-25 22:06 CET) ------------------ Add benchmark log file. + ffc src/bench/bench.log 1.1