About documentation.

From: Sergio R. P. da Silva <srsilva_at_inf.puc-rio.br>
Date: Thu, 5 Sep 1996 14:24:40 -0200

Hi all,

I would like to know where I could get a written STK documentation. I have
tried the Stk Home page but there is nothing in the documentation
directory.

Thank you in advance.


--------------------------------------------------------------------
| 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 Thu Sep 05 1996 - 19:25:08 CEST