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
..
aewan	aewan: New package, version 1.0.01.	2012-09-14 23:24:10 +02:00
bvi
eclipse	eclipse-sdk-4.2: upgrade to 4.2.1	2012-11-08 10:41:23 +01:00
ed	ed: Update to 1.7	2012-12-12 17:17:05 +01:00
elvis
emacs-23
emacs-24	emacs: update to version 24.3	2013-03-11 19:18:31 +01:00
emacs-modes	Merge pull request #407 from maggesi/proofgeneral_updates	2013-03-25 03:33:21 -07:00
geany	opera|dia|geany: remove the obsolete share/icons/hicolor/icon-theme.cache file	2012-11-28 00:21:34 +01:00
gobby	fixed compile errors for libinfinity and gobby	2012-11-20 21:21:47 +00:00
hexedit	hexedit: New package, version 1.2.12.	2012-09-14 23:24:10 +02:00
jedit	Get rid of the "sf" alias for "sourceforge"	2013-01-14 12:00:32 +01:00
joe
kdevelop	Rename buildNativeInputs -> nativeBuildInputs	2012-12-28 19:20:09 +01:00
kile	Rename buildNativeInputs -> nativeBuildInputs	2012-12-28 19:20:09 +01:00
leksah	Add myself as a maintainer to all Haskell packages (re-)generated by hackage4nix.	2013-03-23 15:58:14 +01:00
monodevelop
monodoc
nano	nano: Update to 2.2.6	2012-11-23 16:41:42 +01:00
nedit	Remove a bunch of unreferenced files	2012-11-29 13:43:37 +01:00
netbeans	Changed the netbeans expression to use openjdk, which should work now	2012-10-11 10:31:42 +02:00
nvi
sublime	Make sublime work on 32bit linux.	2012-11-11 13:23:15 +01:00
texmacs
vbindiff	vbindiff: New package, version 3.0_beta4.	2012-12-12 12:36:18 +01:00
vim	vim: fix a typo from commit ab3eea	2013-02-05 17:51:30 +01:00
zile	buildNativeInputs -> nativeBuildInputs	2013-01-13 11:33:45 +01:00