trefis/coquille — pull request #12 by def-lkb (2013-06-23 08:59:25+00:00)
Title: Pass arguments to coqtop process and ignore Ctrl-C/SIGINT

http://www.youtube.com/watch?v=iRZ2Sh5-XuM