Maude-help mailing list

[Francisco Durán <fdm AT uma.es>]

Hi Adam,

First, I'm sorry, your email got stuck waiting for moderation, you should 
have used my email address directly. 

I don't know whether you have been able to install Maude. The links are now 
fixed. They just refer to Maude's web site at 

http://maude.cs.illinois.edu/

and its installation page

http://maude.cs.illinois.edu/w/index.php/Maude_download_and_installation

Please, let me know if you need any further help. And again, I'm sorry for 
the late answer. 

Best regards, 

Francisco Durán



> On 20 Jul 2022, at 13:43, Machowczyk, Adam M. <amm99 AT student.le.ac.uk> 
> wrote:
> 
> Hello, I have registered for the Maude school but none of the links 
> provided are working:
>  
> Case 1
>  
> <image001.png>
> Opens this:
> <image002.png>
>  
> Case 2
> <image003.png>
> Opens this:
> <image004.png>
>  
> Case 3
> <image005.png>
>  
> Opens an empty page that immediately shuts down
>  
> Only the manual chapter 2.0 is working but that expects Maude to be already 
> installed.
>  
> Kind regards,
> Adam