Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!zaphod.mps.ohio-state.edu!wuarchive!uunet!mcsun!cernvax!chx400!sicsun!disuns2!warkent
From: warkent@ltisun.epfl.ch (Ken Warkentyne)
Newsgroups: comp.specification
Subject: Wanted: Lotos latex macro and emacs mode
Message-ID: <WARKENT.91May30100757@ltisun.epfl.ch>
Date: 30 May 91 08:07:57 GMT
Sender: news@disuns2.epfl.ch
Organization: Ecole Polytechnique Federale de Lausanne---Labaratoire de
	Teleinformatique
Lines: 7
Nntp-Posting-Host: ltisun.epfl.ch

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.