The Coq mailing list

["Eugene Kirpichov" <ekirpichov AT gmail.com>]

2008/10/15 Adam Chlipala 
<adamc AT hcoop.net>:
> Eugene Kirpichov wrote:
>>
>> Hello from an inspired Coq newbie!
>>
>> So. Coqide supports Copy/Paste (Ctrl-C/Ctrl-V) from the main editor
>> window on MS Windows.
>> However, I'd like to copy/paste contents of the other windows (the
>> goals window and coq output window) during proof steps, and it seems
>> like Ctrl-C/Ctrl-V and even the Menu->Edit commands are not working
>> there (they don't change the clipboard contents at all).
>>
>> The question is: 1) Are these keys/commands *supposed* to work in
>> those windows? 2) If they aren't, then does there exist another way to
>> achieve my goal on Windows? Or maybe, at least, on Linux? (my final
>> goal is actually to make a presentation about Coq to our local Haskell
>> User Group)
>>
>
> Have you considered using Proof General instead of CoqIDE?  Haskell users
> tend to be familiar with Emacs already, and I personally prefer Proof
> General to CoqIDE.
>

Probably I am a bit atypical since I prefer vim :)
Actually, I had already installed emacs and started to install Proof
General when Eric Jaeger told me that it I can drag and drop that text
into the editor window, where it becomes copyable. So, the problem is
solved, but thanks anyway :)

-- 
Eugene Kirpichov
Web IR developer, Yandex