Subject: [Instant-dev] [HG instant] Changed temp_dir to be generated randomly.

From: [email-masked] (Instant)
Date: Mon, 1 Sep 2008 13:40:37 +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:   192:25bd4d79605fa588f164dcd03ad8cae2470565b1
tag:         tip
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.

changeset:   190:10e989114e1cc8b9a7e83d83b53f6f267c1bfd01
user:        Ilmar Wilbers <[email-masked]>
date:        Thu Aug 28 20:24:54 2008 +0200
files:       src/instant.py tests/test11.py tests/test12.py tests/test13.py tests/test16.py
description:
Modified tests, they no longer use instant.USE_CACHE. Some fixing and triksing in instant with directories as well. Getting more and more certain that we should do some major redesigning, but currently the time needed is not available.

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