https://github.com/sri-csl/smt.tmbundle
Linguist/TextMate support for SMT-LIB2
https://github.com/sri-csl/smt.tmbundle
Last synced: about 1 month ago
JSON representation
Linguist/TextMate support for SMT-LIB2
- Host: GitHub
- URL: https://github.com/sri-csl/smt.tmbundle
- Owner: SRI-CSL
- License: unlicense
- Created: 2015-06-27T15:57:11.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2019-09-10T17:13:45.000Z (over 5 years ago)
- Last Synced: 2025-04-13T12:28:16.641Z (about 1 month ago)
- Homepage:
- Size: 17.6 KB
- Stars: 8
- Watchers: 16
- Forks: 2
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# SMT TextMate Bundle
This is a TextMate support for viewing and editing version 2.5 of [SMT-LIB2.](http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r150528.pdf)
## Why?
This bundle is written by non-textmate users; mainly in order to push the
grammar to the [linguist](https://github.com/github/linguist.git) repository.
This is to enable highlighting of SMT-LIB2 code
on GitHub.
Any improvements are welcome. We are confirmed novices.
### TextMate 2 Development Instructions.
The [FAQ](https://github.com/textmate/textmate/wiki/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
```