24 Mar
2009
24 Mar
'09
4:45 p.m.
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.