fsharp/fsharp — pull request #192 by iwinux (2013-11-30 10:00:22+00:00)
Title: fix: Ctrl-D should distinguish deleting char from quitting

Attempt to improve the patch from https://github.com/fsharp/fsharp/pull/174. cc @jpalmer