Isamode 2.7 --- GNU Emacs support for Isabelle (Obsolete)
Primary LanguageEmacs LispOtherNOASSERTION
This repository is not active