4 ms·Allen, think it's time to switch to emacs ;)by dmjio 12y agoAllen, think it's time to switch to emacs ;)thinkpad20 12y agoLol... I only use emacs if required to. Which, it seems, with Coq or Agda is the case. :(