After showing the TextMate PROV-N bundle to my colleagues, one pointed to me the powerful Ace code editor, which comes with tools to facilitate adding a new syntax. I found it even easier to work with compared to TextMate's bundle editor. After a day, I managed to port the PROV-N …