Mcdostone/mosos-parafe

Mosos Parafe

Installation

# I suppose you're in your home directory
git clone git@github.com:Mcdostone/mosos-parafe.git

After that execute rodin:

rodin

When rodin asks you for the workspace, select your home directory, for example /home/mcdostone for me.

Last step:

• file
• new Event-B project
• the name of the project must be mosos-parafe (it's very important)
• Finish

Happy coding!