[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 ...

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