https://github.com/sri-csl/smt.tmbundle

Linguist/TextMate support for SMT-LIB2
https://github.com/sri-csl/smt.tmbundle

Last synced: 15 days 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 (over 9 years ago)
• Default Branch: master
• Last Pushed: 2019-09-10T17:13:45.000Z (over 5 years ago)
• Last Synced: 2024-11-06T04:36:32.634Z (2 months ago)
• Homepage:
• Size: 17.6 KB
• Stars: 7
• Watchers: 17
• 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

```