interactive mode fix + more keywords for syntax highlighting + commenting mappings

FStarLang / VimFStar

A Vim mode for FStar

Vim License

24 stars 12 forks source link

Closed ngrimm closed 8 years ago

ngrimm commented 9 years ago

added the keywords decreases ensures logic opaque pattern and requires.
fixed the interactive mode
added mappings for commenting