[TxMt] New promela bundle

[Andrea Crotti]

If someone is interested i've started to write a bundle for the promela
language, useful for example for spin
http://spinroot.com/spin/whatispin.html
http://github.com/AndreaCrotti/promela-bundle/tree/master Promela bundle 

It's not complete at all but it's a good start I think...
-- 
View this message in context: http://www.nabble.com/New-promela-bundle-tp22684587p22684587.html
Sent from the textmate users mailing list archive at Nabble.com.