Author: Alexander Weigl
Version: 0.1
URL: https://github.com/wadoon/jml-mode
This is a minor mode for Emacs to support JML comments in Java files. It
builds ontop of the java-mode, a derived from the cc-mode. In particular,
it adds the jml-font-lock-keywords that enables you to enable JML comments via
the c-doc-comment-style variable.
For convinience reason, this file provide also the minor mode jml-mode.
Features
- Syntax Highlightning
- Face group: jml
Todo and Known bugs
- Running/Open File in KeY or OpenJML
- Enabling and disabling not working correctly.
- Prettifying symbols not working
Converted from jml-mode.el by el2markdown.