Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Copy/paste from CoqIde right-side windows

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Copy/paste from CoqIde right-side windows


chronological Thread 
  • From: "Eugene Kirpichov" <ekirpichov AT gmail.com>
  • To: coq-club AT pauillac.inria.fr
  • Subject: [Coq-Club] Copy/paste from CoqIde right-side windows
  • Date: Wed, 15 Oct 2008 16:36:59 +0400
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=exUEaCcA9EpRG5QLmAo8hfYtaHWp+oSGjt+6rNb1JA2PRTGtChV3Z4chepMBR6xBtJ BmPwdnmAoa5z44lxyjPuiV2rGhR3/GgeGjU/rNM15C4Hb5M6hxUJu5nEyQDwqno/ibUd +GrE+AGmhglEakF0IKI4x68JrN1CAUBNtnHLI=
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
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)

--
Eugene Kirpichov
Web IR developer, Yandex



Archive powered by MhonArc 2.6.16.

Top of Page