[isabelle] Error when Importing Theories from Library
I have often encountered problems when importing thy files from
Library using jEdit/Isabelle (Windows). For instance, when
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)
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