John Wiegley 3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral ... proofgeneral_4_3_pre: Add expression needed for current prooftree		2014-06-21 09:22:29 -07:00
..
auto-complete
bbdb
calfw
cedet
coffee
color-theme
cryptol	cryptol-mode: 0.1.0	2014-04-26 12:51:08 -05:00
cua
darcsum
ecb
emacs-clang-complete-async
emacs-w3m
emms	emacs-modes-emms, emacs-modes-org: Relax platform qualifier	2014-06-20 22:37:09 -07:00
ess
flymake-cursor	flymake-cursor: the sha256 hash of the file has changed	2014-04-08 12:48:22 +02:00
gh
gist
graphviz-dot
haskell
hol_light	hol_light: fix script, upgrade to r189	2014-04-27 13:31:36 -05:00
htmlize
idris	emacs-idris-mode: upgrade to 0.9.13.1	2014-06-16 22:43:51 +02:00
jabber
jade
jdee
js2
logito
lorem-ipsum
magit
maude
metaweblog	add emacs-metaweblog	2014-06-16 22:43:10 +02:00
ocaml
offlineimap
org	emacs-modes-emms, emacs-modes-org: Relax platform qualifier	2014-06-20 22:37:09 -07:00
org2blog	emacs-org2blog: upgrade to 0.8.1	2014-06-16 22:43:11 +02:00
pcache
php
prolog
proofgeneral	proofgeneral: Delete default.nix for proofgeneral	2014-06-20 22:36:06 -07:00
quack
rect-mark
remember
rudel
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
session-management-for-emacs
stratego
structured-haskell-mode	structured-haskell-mode: re-generate with latest cabal2nix	2014-03-31 23:10:56 +02:00
sunrise-commander
tuareg
writegood
xml-rpc