[isabelle] Re2: Asking for Isabelle/Isar language specification



Hello Anh,
all you can do securely is the lexical analysis. Afterwards you can do a
kind of semi-parsing by identifying pairs like (proof..end),
(lemma...end) and so on. Look at my software Elbe, where it has been
done. I'm currently working on the next release ...
Regards
Jens
------------------
http://cococo.de
------------------






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.