[comp.specification] Wanted: Lotos latex macro and emacs mode

warkent@ltisun.epfl.ch (Ken Warkentyne) (05/30/91)

Does anyone have a latex macro for lotos specifications or
an emacs mode for editing them (the specs)?

Thanks.
--
Ken Warkentyne - warkent@ltisun.epfl.ch
                 Laboratoire de Teleinformatique, EPFL, Suisse.

warkent@ltisun.epfl.ch (Ken Warkentyne) (06/01/91)

> Does anyone have a latex macro for lotos specifications or
> an emacs mode for editing them (the specs)?

Oops, I meant to write "style", not "macro".
--
Ken Warkentyne - warkent@ltisun.epfl.ch
                 Laboratoire de Teleinformatique, EPFL, Suisse.