Maude-help mailing list

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

Noura,

Which version of Maude and Full Maude are you using?

Do you get any message?

Could it be that the prelude is not loaded?

Please, send me the snapshot with the interaction, otherwise I cannot help.

Francisco Duran

boudiaf noura wrote:

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