On Fri, Nov 07, 2008 at 11:29:54PM +0100, Johan Hake wrote:
On Friday 07 November 2008 22:30:02 Garth N. Wells wrote:
DOLFIN wrote:
One or more new changesets pushed to the primary dolfin repository.
A short summary of the last three changesets is included below.
changeset: 5134:feb3adf67203f64e807c0dce4e3025309f26f3c1
tag: tip
user: "Johan Hake <hake@xxxxxxxxx>"
date: Fri Nov 07 07:59:35 2008 +0100
files: site-packages/dolfin/__init__.py
description:
Updated __init__.py for new name of timing.py
This isn't the best name because it's not related to timing. If time is
a problem, something like dolfin_time is better.
Fixed.
Johan
Where is the Time class used and why? Why is not a float value sufficient?