Re: [Vampire-public] Vampire changes and evolution

[Nicolas Burrus]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Friday 09 January 2004 22:14, Maxime Biais wrote:
> 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 ?

I did it yesterday night, one hour after your email.

It would be nice to add an automatic email notification to a vampire-commits
mailing list of something for each commit, but unfortunaly this service does
not seem to work anymore since savannah crack :(
https://savannah.gnu.org/support/?func=detailitem&item_id=102663
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)

iD8DBQE//8YPBI1+iQ4q66sRAhVCAJ9N02uuZh/7jknJxGdPYLvryPvgjQCeIb8m
b7nb7Au201yt5sx7aW9SIAM=
=5l2m
-----END PGP SIGNATURE-----