maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] 256 char limit on rewrite?

From: Steven Eker <eker AT csl.sri.com>
To: Anthony <anthonyc AT cs.utep.edu>, <maude-help AT banyan.cs.uiuc.edu>
Subject: Re: [Maude-help] 256 char limit on rewrite?
Date: Wed, 3 Sep 2003 14:35:40 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Organization: SRI International

Hi,

There is a limit to the number of characters that can be entered on a
line without a return - Tecla requires one for the size of its edit
buffer and it is currently set to 1024.

If you're running into a limit other than this, please send me the
example, along with the platform details and Maude version number so I
can look into it.

Best regards,

Steven Eker

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