nixpkgs/pkgs/applications/editors
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 Joe: Bump to 3.7 2012-07-31 16:30:50 -04:00
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 Update some (seemingly very old) packages that hard-coded the path to make-wrapper.sh 2012-07-15 03:32:50 -04:00
monodoc Update some (seemingly very old) packages that hard-coded the path to make-wrapper.sh 2012-07-15 03:32:50 -04:00
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