summaryrefslogtreecommitdiff
path: root/Util/Emacs/jennisys-mode.el
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Jennisys: added "ensures" to emacs modeGravatar Rustan Leino2011-10-19
* Jennisys: change of keywords, now: interface/datamodel/codeGravatar Rustan Leino2011-09-28
* Jennisys: Parse and printGravatar Rustan Leino2011-04-07