[isabelle] Asking for Isabelle/Isar language specification

Hi everyone,
I am Anh. In my current research, I parse and generate code in
Isabelle/Isar. I really need the language specification, especially the
syntax of Isabelle/Isar. In the current reference manual, the syntax of
the language is not fully described and it's really hard to get it from
separate parts of the manual.
It would be really helpful if someone shows me some source to get that
kind of information.
Thank you very much


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