GitHub repository: m-fleury/isar-mode
Primary language: Emacs Lisp
Description: A simple emacs mode for Isabelle (.thy) files