trefis/coquille — pull request #11 by def-lkb (2013-06-21 17:48:35+00:00)
Title: Transmit arbitrary arguments when launching coq process

Arguments passed to :CoqLaunch are transmitted to coqtop.