Maude-help mailing list

[Mahfooz Ul Haque <mahfooz.qu AT gmail.com>]

Dear Sir,

Hi,

 

I'm a beginning user and would like to use Maude for programming and LTL model checking purpose. I downloaded and installed Maude in MS Windows 7. When I write programming on console window, it works fine. 

However, I would like to write program in a text file and then execute that file using the command e.g,; "load my-nat.maude". I installed Maude in C Drive and would like to execute "my-nat.maude" from F Drive. I'll be grateful if you please guide me how it works?

Thanks and waiting for reply,

Regards,

Mahfooz