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