What's new in Parabola

Along with basic syntax highlighting, we've added formula validation, error handling, and auto-complete when typing in headers in the Math step.