Georgify - SE212
===============================

Sublime Text plugin to test proof correctness for the George language used in SE 212.


![Screenshot](https://i.gyazo.com/eb6c695ca168ffe0255a374efe4a461b.png)


## Usage
* Hot Keys
  * <kbd>cmd</kbd>+<kbd>ctrl</kbd>+<kbd>G</kbd> (Mac) to test your proof
  * <kbd>windows</kbd>+<kbd>ctrl</kbd>+<kbd>G</kbd> (Windows) to test your proof
* Use quick access menu. Find `Georgify` 

## Installation (Recommended)
* Use Sublime's Package Manager to install `Georgify`
  * https://packagecontrol.io/installation

## Installation (Manual)
* Open packages dir with `Sublime Text -> Preferences -> Browse Packages...`
* Download Georgify ZIP by clicking green button on package's root page
  * Save into Sublime's Packages folder
* Unzip file and restart Sublime

## Pipeline
- [x] Add to quick access menu
- [x] Add syntax highlighting

## Disclaimer
* All the code in the current view is sent to a remote web end-point to be verified

## Shout-outs
* Thanks [@sahiljain](https://github.com/sahiljain) for the [syntax highlighting](https://github.com/sahiljain/GeorgeSublimeSyntaxHighlighting)

## Support for more editors (SE loves all editors equally :heart:)
* vim users check out [@aidenbenner](https://github.com/aidenbenner)'s [vim-george](https://github.com/aidenbenner/vim-george) 
* Atom users check out [@ethan-hardy](https://github.com/ethan-hardy)'s [george-atom](https://github.com/ethan-hardy/george-atom)