Re: [isabelle] Isabelle/jedit
Dear Isabelle Users
I am also interested in a possible answer to this question. What I
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 in.tum.de> 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
> way to see the old proof state while I type the proof command?
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