 
 ;; Projectile
 (projectile-global-mode)
+(setq projectile-completion-system 'helm)
 (setq projectile-use-git-grep t)
-(setq projectile-completion-system 'helm)
 (helm-projectile-on)
+
+;; GNU Global interface
+(add-hook 'c-mode-hook 'helm-gtags-mode)
+(add-hook 'c++-mode-hook 'helm-gtags-mode)
+(add-hook 'tuareg-mode-hook 'helm-gtags-mode)
+(custom-set-variables
+ '(helm-gtags-suggested-key-mapping t)
+ '(helm-gtags-auto-update t)
+ '(helm-gtags-use-input-at-cursor t)
+ '(helm-gtags-pulse-at-cursor t))

        powerline
        projectile
        robe
        tangotango-theme
        tuareg
        utop

        haskell-mode
        helm
        helm-ag
        helm-gtags
        helm-projectile
        hindent
        magit
