Subject: Re: LOTOS tools

From: "Jose A. Manas" <[email-masked]>
Date: Thu, 02 Feb 1995 16:22:56 +0100

> From:  [email-masked] (Jeroen van de Lagemaat)
  > Date:  Thu, 02 Feb 1995 09:45:28 +0100

  > >-	simualtion in a multiprocessor system

  > The tool TOPO is one of the compilation tools. I assume Pepe Manas, who
  > maintains this mailing list, can tell you anything you like to know about
  > the possibilities related to compilation of parts of the spec.
For the time being: none.

We are working on a modular version of LOTOS, but we will not develop
any tool until becomes accepted in E-LOTOS.

pepe