maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] need help

From: "Manjari Bagchi" <manjari.bagchi AT gmail.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] need help
Date: Thu, 20 Sep 2007 10:06:54 +0530
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=klPEEpCA6ZkkyRELaXCi8AdZDamSQvNgttHGXy+FJXufmx33+dOCHqXLDCafKxF7kM7sBSkSoAoPOYvqX0S2cHTclozcjTnvb5WD3vdYB8eH52lizPkBDAhweb/GuuQvww7zKIJLtbWE5kz7o0zqU/WZOnm7A8hV9BZDgD2iYIo=
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

I have installed the current version of maude following the
instructions given in http://maude.cs.uiuc.edu/download/. But when I
am trying to run Maude, I am getting a warning message as :
-- Warning: <automatic>: unable to locate file: prelude.maude

Could you kindly suggest the solution ?

Regards,
Manjari
=====================================
" Be who you are and say what you feel, because
those who mind don't matter and those who
matter don't mind. "
~~~ Theodor Seuss Geisel
=====================================
Manjari Bagchi
Homepage: http://www.tifr.res.in/~manjari/
Visiting Fellow,
Department of Astronomy and Astrophysics
Tata Institute of Fundamental Research
Homi Bhaba Road,
Colaba, Mumbai 400005, India
-------------------
Phone: +91 22 2278 2289
Fax: +91 22 2280 4610 / 11
email (official):
manjari AT tifr.res.in
email (personal):
manjari.bagchi AT gmail.com
===============================

[Maude-help] need help, Manjari Bagchi, 09/19/2007
- Re: [Maude-help] need help, Francisco Duran, 09/20/2007
  - Message not available
    - Re: [Maude-help] need help, Francisco Duran, 09/20/2007