idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
268 stars 70 forks source link

Prepare new release #499

Closed jsoo1 closed 4 years ago

jsoo1 commented 5 years ago

The last tagged release is 0.9.19 from 2015. Since melpa-stable pulls latest tagged version, it is missing some key fixes and improvements. I'd like to prepare a new release. I think that would mean combing through the commit history and updating the changelog. Also I have no idea what the next version number would be. Is there a more formal release process?

jfdm commented 4 years ago

Fixed in #507