[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Vampire-public] Vampire changes and evolution
|
From: |
Maxime Biais |
|
Subject: |
Re: [Vampire-public] Vampire changes and evolution |
|
Date: |
Fri, 9 Jan 2004 22:14:01 +0100 |
Fri, 9 Jan 2004 16:10:03 +0100
Nicolas Burrus <address@hidden> wrote:
> (Concerning logs)
>
> - - Modify the HTML output so that we have one html file per test.
> Olena build output is too big to have all results on the same page.
>
> - - Update the text summary logger.
Did you ever commit the change on this two converters ?
--
Maxime Biais