Activity for Emacs Maude modehttps://sourceforge.net/p/maude-mode/activity/Recent activity for Emacs Maude modeenMon, 22 Feb 2016 14:36:22 -0000Rudi Schlatte committed [r64]https://sourceforge.net/p/maude-mode/code/64/Document repository moveRudi SchlatteMon, 22 Feb 2016 14:36:22 -0000https://sourceforge.net/p/maude-mode/code/64/Rudi Schlatte committed [r63]https://sourceforge.net/p/maude-mode/code/63/let the user kill the Maude buffer without queryRudi SchlatteWed, 12 Feb 2014 11:02:19 -0000https://sourceforge.net/p/maude-mode/code/63/