Promela Plugin updated

The plugin for generating an output file in Promela format and run it in Spin has been updated
Añadido por Luis Valencia Cabrera hace casi 12 años

This is the result of this MD task.