Karn Kallio 135fe9059f ProofGeneral 4.1 ... svn path=/nixpkgs/trunk/; revision=30863		2011-12-13 01:13:46 +00:00
..
bvi
eclipse	eclipse 3.7 (java and cpp)	2011-08-16 18:17:31 +00:00
ed
elvis
emacs-22
emacs-23
emacs-modes	ProofGeneral 4.1	2011-12-13 01:13:46 +00:00
emacs-snapshot
gobby	Drop 'gnomevfs = gnome_vfs;' alias	2011-10-08 12:06:03 +00:00
jedit
joe
kdevelop
kile	Drop kde3.kile	2011-10-07 20:46:29 +00:00
leksah
monodevelop	Drop 'gnomevfs = gnome_vfs;' alias	2011-10-08 12:06:03 +00:00
monodoc
nano
nedit
nvi
texmacs	GNU TeXmacs 1.0.7.11.	2011-09-04 23:05:57 +00:00
vim
zile	GNU Zile: Fix cross-compilation.	2011-11-13 21:28:29 +00:00