Re: [Vampire-public] First Vampire release

[Akim Demaille]

>>> "Maxime" == Maxime Biais <address@hidden> writes:

 > Hi,
 > I'm   pleased    to   announce   the    first   Vampire   pre-release:
 > "vampire-0.2a". This is a pre-release because we didn't hardly test it
 > and  because our  test  suite is  not  able to  foretell all  possible
 > events.  We release this version  in the hope of getting user comments
 > and bug reports to finalize it.

Great news!

 >> From Savannah's news:
 > """
 > Project download area - posted by rudy, Sat 01/10/04 at 18:56:
 > As  most user  have  noticed, the  project  download area  is not  yet
 > working. We are working on it.
 > """

 > When the  project download  area will work,  Vampire release   will be
 > available here:
 >   http://savannah.nongnu.org/download/vampire/vampire-0.2a.tar.bz2
 >   http://savannah.nongnu.org/download/vampire/vampire-0.2a.tar.gz

 > May the  LRDE supply us a place  to put these files  temporarily ? Now
 > you  can  get  the  Vampire   source  code  from  cvs  using  the  tag
 > "vampire-0_2a".

Please, send the tarball to Thomas, he will put it were appropriate.
Thomas, please also update the Vampire Wiki page.

http://www.lrde.epita.fr/cgi-bin/twiki/view/Projects/Vampire