Maude-help mailing list

[Francisco Duran <duran AT lcc.uma.es>]

Manjari:

Maude tries to load the prelude.maude file at start up. Although you can 
place it in other places (check the manual), the easiest alternative is 
having it in the same place you have the Maude binary.

Regards,

Paco



Manjari Bagchi escribió:
> 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 mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help