About Stk 3.1.1 for Win.

From: Sergio Roberto P. da Silva <srsilva_at_inf.puc-rio.br>
Date: Tue, 15 Oct 1996 20:10:13 -0200

Hi all,

I would like to know if there is already a binary version of Stk 3.1.1 for
WinNT (or others). I would very much to use it but I don't have how to
compile it now.

Thank you very much in advance.

Sergio Silva.


--------------------------------------------------------------------
| Sergio Roberto P. da Silva (Researcher)
|
| LMF-DI - Laboratorio de Metodos Formais
| Departamento de Informatica. / PUC-Rio
| R. Marques de Sao Vicente, 225, Gavea.
| Tel/FAX +55(21)512-8045 | Tel +55(21) 512-8325
| Tel +55(21)512-6837 | ZipCode: 22453-900
| Rio de Janeiro, RJ, Brazil. | E-mail: srsilva_at_inf.puc-rio.br
--------------------------------------------------------------------
Received on Wed Oct 16 1996 - 00:14:44 CEST