[isabelle] jEdit (unexpected?) behavior
A simple question concerning jEdit in Isabelle. When doing the following
File -> New and typing (as an example)
term "0 + (1::nat)"
and saving as test2,thy, Isabelle process successfully the input but the
output (docked) area does not update, i.e.,
for instance, when one points the mouse to right of the term expression
above. Of course this is just
a toy example to illustrate the issue in the simplest possible way.
To circumvent this problem I close and reopen the file.
This happens also when I choose (new file) in Isabelle mode.
PS: Running Isabelle 2011-1 + Ubuntu 10.04
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