maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] 256 char limit on rewrite?

From: Anthony <anthonyc AT cs.utep.edu>
To: <maude-help AT banyan.cs.uiuc.edu>
Subject: [Maude-help] 256 char limit on rewrite?
Date: Tue, 2 Sep 2003 19:43:41 -0600 (MDT)
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hello. I am unable to enter in a rewrite at the Maude prompt longer than
256 characters (the equation itself). Is this a limitation of the system
or have I done
something wrong? Thanks.

Regards,

Anthony Castanares

[Maude-help] 256 char limit on rewrite?, Anthony, 09/02/2003
- Re: [Maude-help] 256 char limit on rewrite?, Steven Eker, 09/03/2003