Re: [isabelle] Isabelle/jedit

Dear Isabelle Users

I am also  interested in  a possible answer to this question. What I
usually do
in this case is to [repeatedly] move the cursor to the previous [next] line
(command, declaration) to take
a look  at the current proof state before resuming
typing or thinking about the current command (declaration).


On Sun, Jul 22, 2012 at 8:04 AM, Tobias Nipkow <nipkow at> wrote:

> When I start typing in a proof command, eg apply, jedit eagerly executes
> it, and
> since I am in the middle of typing it, the command typically fails.
> Unfortunately the resulting error msg overwrites the proof state. Is there
> any
> way to see the old proof state while I type the proof command?
> Thanks
> Tobias

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

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