cryptol
|
cryptol-mode: 0.1.0
|
2014-04-26 12:51:08 -05:00 |
hol_light
|
hol_light: fix script, upgrade to r189
|
2014-04-27 13:31:36 -05:00 |
idris
|
emacs-idris-mode: upgrade to 0.9.13.1
|
2014-06-16 22:43:51 +02:00 |
metaweblog
|
add emacs-metaweblog
|
2014-06-16 22:43:10 +02:00 |
org
|
org: update from 8.2.7 to 8.2.7b
|
2014-07-17 12:20:22 +02:00 |
org2blog
|
emacs-org2blog: upgrade to 0.8.1
|
2014-06-16 22:43:11 +02:00 |
sbt-mode
|
emacs-sbt-mode: add initial version
|
2014-06-05 14:34:32 +02:00 |
scala-mode
|
emacs-scala-mode: package version 2
|
2014-06-05 14:34:31 +02:00 |
writegood
|
Update writegood-mode from 1.3 to 2.0
|
2014-07-02 13:03:01 +02:00 |