This is a TextMate support for viewing and editing version 2.5 of SMT-LIB2.
This bundle is written by non-textmate users; mainly in order to push the grammar to the linguist repository. This is to enable highlighting of SMT-LIB2 code on GitHub.
Any improvements are welcome. We are confirmed novices.
The FAQ says the following:
If you wish to edit the bundles and share your changes you should install (git clone) them to:
~/Library/Application Support/TextMate/Bundles
This way, TextMate won’t create delta files (which aren’t useful for sharing).
If you manually install bundles and they do not show up, your file system may lack support for fs-events. If this is the case, you will need to delete the cache and relaunch TextMate:
rm ~/Library/Caches/com.macromates.TextMate/BundlesIndex.plist