Peter Simons 58211c125a Merge pull request #407 from maggesi/proofgeneral_updates ... Update ProofGeneral to version 4.2		2013-03-25 03:33:21 -07:00
..
auto-complete
bbdb
calfw
cedet
coffee
color-theme
cua
ecb
emacs-clang-complete-async	emacs: add "auto-complete-clang-async" mode (aka emacs-clang-complete-async)	2013-02-18 21:06:29 +08:00
emacs-w3m	emacs-w3m: upgrade to current cvs	2013-03-22 00:00:06 +01:00
emms
flymake-cursor	flymake-cursor: upgrade to 0.1.5	2013-01-13 14:30:54 +01:00
gh
gist
graphviz-dot
haskell
hol_light
htmlize	htmlize: upgrade to 1.47	2013-03-22 00:00:06 +01:00
jabber
jade
jdee
js2
logito
lorem-ipsum
magit
maude
ocaml
org
org2blog
pcache
php
prolog
proofgeneral	ProofGeneral: remove dead code (compatibility with emacs 23).	2013-03-24 23:43:18 +01:00
quack
rect-mark
remember
rudel
scala-mode
session-management-for-emacs
stratego
sunrise-commander
xml-rpc