[ANN] RewriteTool has successfully ported to Spec2

Dear friends,

I would like to announce that Sebastian, an intern of my company, just ported the RewriteTool to Spec2.

You may find the install instructions in the following link :)

https://github.com/jordanmontt/RewriteTool-Spec2  

Please, help us to test it, any feedback is welcome.

Regards,

Juan P.

SEMANTICS SRL

http://semantics.bo/  

https://jpsandoval.github.io/