Emacs Maude mode Activity
Status: Beta
Brought to you by:
rudi
Activity for Emacs Maude mode
-
Rudi Schlatte committed [r64]
Document repository move
-
let the user kill the Maude buffer without query
1