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	* Sync with the trunk.	2011-03-14 18:26:46 +00:00
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	Upgrade kdevelop and kdevplatform	2011-08-15 23:39:20 +00:00
kile	Drop kde3.kile	2011-10-07 20:46:29 +00:00
leksah	haskell-leksah: updated build expression for recent versions of cabal.nix	2011-08-12 11:02:44 +00:00
monodevelop	Drop 'gnomevfs = gnome_vfs;' alias	2011-10-08 12:06:03 +00:00
monodoc
nano
nedit
nvi	Updating the urls where to get nvi from. The previous did not work anymore.	2010-12-15 09:39:30 +00:00
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