the-lambda-church/coquille — pull request #25 by drozv (2014-08-28 20:08:25+00:00)
Title: Execute coqtop differently on windows.

The coqtop fails to launch or exits on window; for example, preexec_fn is not supported on windows. This adds a special case that launches coqtop differently on windows. Tested on windows 7 amd64.