Geeks
DavidAspinall
/
Isamode
Isamode 2.7 --- GNU Emacs support for Isabelle (Obsolete)
Primary Language
Emacs Lisp
Other
NOASSERTION
Isamode GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
DavidAspinall
Edinburgh, UK