[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

"~~/src/HOL/Library/OptionalSugar"

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.

Best!

-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
www.inf.pucrs.br/alfio
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.