A Pulsar (formerly Atom) language package for the Oak proof checker.
Provides syntax highlighting, automatic indentation, and comment toggling.
