Karn Kallio 135fe9059f ProofGeneral 4.1 ... svn path=/nixpkgs/trunk/; revision=30863		2011-12-13 01:13:46 +00:00
..
bvi
eclipse
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
vim
zile	GNU Zile: Fix cross-compilation.	2011-11-13 21:28:29 +00:00