redtt

Homepage: http://github.com/RedPRL/redtt

Author: Jonathan Sterling

Updated:

Summary

Major mode for editing redtt proofs

Commentary

This is a major mode for editing redtt developments.  The current
editing features include simple syntax highlighting.  There is a command to
run redtt in a compilation buffer.

Make sure to set the variable `redtt-command' to the location of the
redtt binary.

Dependencies