Re: [isabelle] make_string

On 25/06/18 15:13, Lars Hupel wrote:
OK, thanks - I've done that (ie both those things), but the second
buffer is completely non-responsive (well, almost, since clicking in
the second buffer removes the output from the first buffer from the
output area, but there's no output from the second buffer.  Is there a
second output area that's hidden away somewhere, that I need to do
something to make visible?

You obviously have to enter something in the second buffer to see something in the output. The output shows only the current state of where your cursor is.

Hi Lars,

I did that - ie, entering stuff in the second buffer, but no response


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