/lola-mode

A major mode for editing LoLA model checker input files in emacs

Primary LanguageEmacs Lisp

lola-mode

This mode is under development since [15:44:49; 19.04.2019], it is then not yes complete at all.