Subject: [Instant-dev] [HG instant] some clean-up, did not remove Martin's problem

From: [email-masked] (Instant)
Date: Mon, 1 Sep 2008 23:41:54 +0200 (CEST)

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

changeset:   193:7eacc136f0610d5e5292b8b2a89ff2dfee14af37
tag:         tip
user:        Kent-Andre Mardal <[email-masked]>
date:        Mon Sep 01 23:41:50 2008 +0200
files:       src/instant.py
description:
some clean-up, did not remove Martin's problem

changeset:   192:25bd4d79605fa588f164dcd03ad8cae2470565b1
user:        Ilmar Wilbers <[email-masked]>
date:        Mon Sep 01 13:40:35 2008 +0200
files:       etc/instant-clean src/instant.py
description:
Changed temp_dir to be generated randomly.

changeset:   191:2a8d4a1ead56f59e38189246a3b4fd10bec14d77
user:        Ilmar Wilbers <[email-masked]>
date:        Mon Sep 01 13:11:17 2008 +0200
files:       TODO
description:
Added stuff to TODO.

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