Topic: BOUNCE mercury-users@cs.mu.OZ.AU: Non-member submission from [Stephan Lehmke <lehmke@jupiter.cs.uni-dortmund.de>]
Author: owner-mercury-users@cs.mu.OZ.AU
Date: 1999/05/06 Raw View
>From mercury@mulga.cs.mu.OZ.AU Tue May 4 11:18:06 1999
Received: from waldorf.cs.uni-dortmund.de (waldorf.cs.uni-dortmund.de [129.217.4.42]) by mulga.cs.mu.OZ.AU with ESMTP
id LAA21545 for <mercury-users@cs.mu.OZ.AU>; Tue, 4 May 1999 11:17:59 +1000 (EST)
Received: from pluto.cs.uni-dortmund.de (pluto.cs.uni-dortmund.de [129.217.56.59]) by waldorf.cs.uni-dortmund.de with SMTP id DAA00518 for <mercury-users@cs.mu.OZ.AU>; Tue, 4 May 1999 03:17:55 +0200 (MES)
Message-Id: <199905040117.DAA03315@pluto.cs.uni-dortmund.de>
Received: from pluto (pluto [129.217.56.59])
by pluto.cs.uni-dortmund.de id DAA03315; Tue, 4 May 1999 03:17:55 +0200
Date: Tue, 4 May 1999 03:17:55 +0200 (MET DST)
From: Stephan Lehmke <lehmke@jupiter.cs.uni-dortmund.de>
Reply-To: Stephan Lehmke <lehmke@jupiter.cs.uni-dortmund.de>
Subject: Re: [mercury-users] Emacs mode
To: mercury-users@cs.mu.OZ.AU
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: jd5jnO/fTdh4B4As6Hm1kQ==
X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc
> I have only just started teaching myself Mercury (heh), and I was
> wondering if anyone out there has made an Emacs mode for it?
The prolog.el available from http://www.sics.se/~emil/prolog_mode.shtml
does have a mercury mode...
I haven't had very much experience with it, but highlighting and
indentation are nice (Compiling is supported only when mercury
is called from within SICStus PROLOG AFAIR).
You might want to try the emacs 20 version from
http://www.freesoft.cz/software/emacs/prolog-mode/
the history says something about an update for Mercury 0.8...
regards
Stephan
--
Stephan Lehmke Stephan.Lehmke@cs.uni-dortmund.de
Fachbereich Informatik, LS I Tel. +49 231 755 6434
Universitaet Dortmund FAX 6555
D-44221 Dortmund, Germany
---
[ comp.std.c++ is moderated. To submit articles, try just posting with ]
[ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ]
[ --- Please see the FAQ before posting. --- ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html ]