maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [[maude-help] ] PLEASE DISREGARG - problem wth prelude.maude

From: "Dilia E. Rodriguez" <dilerod AT verizon.net>
To: maude-help AT cs.uiuc.edu
Cc: Dilia <dilerod AT verizon.net>
Subject: Re: [[maude-help] ] PLEASE DISREGARG - problem wth prelude.maude
Date: Tue, 9 Nov 2021 09:39:30 -0500
Authentication-results: ppops.net; spf=neutral smtp.mailfrom=dilerod AT verizon.net; dkim=pass header.d=verizon.net header.s=a2048

I got it working now.

Thanks,

Dilia

> On Nov 8, 2021, at 3:49 PM, Dilia E Rodriguez
> <dilerod AT verizon.net>
> wrote:
>
> Hi,
>
> When trying to run Maude I’m getting errors from prelude.maude. What could
> be the problem, and what could I do? A screen shot is attached.
>
> Thanks,
>
> Dilia
>
>
> <prelude-maude-problems.jpg>

Re: [[maude-help] ] PLEASE DISREGARG - problem wth prelude.maude, Dilia E. Rodriguez, 11/09/2021