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
bvi
eclipse
ed
elvis
emacs-23
emacs-24
emacs-modes	Merge pull request #407 from maggesi/proofgeneral_updates	2013-03-25 03:33:21 -07:00
geany
gobby
hexedit
jedit
joe
kdevelop
kile
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
nedit
netbeans
nvi
sublime
texmacs
vbindiff
vim
zile