imitator-model-checker/emacs-imitator-mode

Emacs major mode for editing IMITATOR code

语言：Emacs Lisp · GitHub 星标：2 · Fork：0

话题：emacs · emacs-mode · imitator · syntax-highlighting

在 GitHub 上查看原仓库