maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] full-maude

From: boudiaf noura <boudiafn AT yahoo.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] full-maude
Date: Tue, 6 Jul 2004 14:23:19 +0200 (CEST)
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hello !

Please, I use core Maude under windows without
difficulties. But when I start to use full Maude
(under Windows), I find a problem to instal it! I
downloaded it then i saved it (html extension) in the
same directory as executable Maude. I called it by
using the command : load. But Maude returns that there
are errors like : undeclared sort Token!

Best regards,
Noura,

Créez gratuitement votre Yahoo! Mail avec 100 Mo de stockage !
Créez votre Yahoo! Mail sur http://fr.benefits.yahoo.com/

Dialoguez en direct avec vos amis grâce à Yahoo! Messenger !Téléchargez
Yahoo! Messenger sur http://fr.messenger.yahoo.com

[Maude-help] full-maude, boudiaf noura, 07/06/2004
- Re: [Maude-help] full-maude, Francisco Duran, 07/09/2004