[isabelle] Error when Importing Theories from Library

Dear Users,

I have often encountered problems when importing thy files from
Library using jEdit/Isabelle (Windows). For instance, when
I type


the output windows gives the error "Bad Theory Name".
It took me a while to find a simple workaround: save
the file and reload it.

This seems to happen in all the latest release candidates,
but I bet is an older issue.


Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Lattes:  http://lattes.cnpq.br/4016080665372277
Associate Professor at Faculty of Informatics (PUCRS)
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.