Marco Maggesi 503f04ca54 ProofGeneral 4.0 ... svn path=/nixpkgs/trunk/; revision=27252		2011-05-14 20:59:53 +00:00
..
bvi
eclipse	* Add the Eclipse Modeling Tools.	2011-04-12 08:41:53 +00:00
ed
elvis
emacs-22
emacs-23	* Sync with the trunk.	2011-03-14 18:26:46 +00:00
emacs-modes	ProofGeneral 4.0	2011-05-14 20:59:53 +00:00
emacs-snapshot
gobby	Packaged Gobby	2010-10-04 04:15:23 +00:00
jedit
joe
kdevelop	Move kdevplatform and kdevelop to all-packages.nix	2010-10-05 05:43:39 +00:00
kile
leksah	Version bump for leksah (plus dependencies). Now works with ghc-6.12.3.	2010-11-17 14:48:12 +00:00
monodevelop
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	Adding freetype dependency for TeXmacs.	2011-03-14 22:03:26 +00:00
vim	Making vim73 cross-build (it needs a patch)	2010-10-12 18:33:02 +00:00
zile	GNU Zile 2.3.23.	2011-03-23 21:55:54 +00:00