Re: [isabelle] Cannot copy from output panel in Isabelle 2016?

Hi Gene,

Thanks for your quick reply and suggested solution!  Though, on the
difference between behaviours in Isabelle 2015 and 2016: I definitely
did not have this problem with Isabelle 2015---which I've been using
almost daily until two days ago---as the inability to copy-paste
efficiently from the proof state panel is so annoying as to be
unmissable :(


On 10 March 2016 at 11:15, Eugene W. Stark
<isabelle-users at> wrote:
> This came up in a previous thread several months ago.
> At that time, the poster offered a patch to JEdit code, and seemed to
> indicate that there was code in the pipeline for JEdit that would fix this.
> But it seems that Isabelle2016 is the same as Isabelle2015 in this respect
> (AFAIK, Isabelle2015 also has this problem, contrary to what you suggest).
> The workaround I use (under Ubuntu 14.04 LTS) is to select highlighted
> text using CTRL-C, then paste into the editor window using CTRL-V.
> The previous thread can be found at:
> The "References:" header from the previous thread is:
>> References: <55DE69C5.6020807 at> <alpine.LNX.2.00.1508281339040.19033 at> <55E0BEC5.4010609 at> <55E0E419.5030307 at>
> I would have added these to the headers of this message, except that Thunderbird
> does not seem to provide me with the ability to do so.
>                                                 - Gene Stark
> On 03/10/2016 05:25 AM, Dominic Mulligan via Cl-isabelle-users wrote:
>> Hi,
>> I have just upgraded to Isabelle 2016 from Isabelle 2015 in the last
>> few days and I have noticed that I cannot copy text from the output
>> panel/proof state into the jEdit editor pane.  I didn't previously
>> have this problem with Isabelle 2015 and was wondering whether this is
>> a known problem, and if there is a workaround for it as it is
>> impacting my ability to work efficiently?  I am using Ubuntu 14.04
>> LTS.
>> Thanks,
>> Dominic

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.