[isabelle-dev] Custom inner syntax parsing in ML.

Daniel Kirchner daniel at ekpyron.org
Thu Sep 26 15:55:48 CEST 2019

Am Donnerstag, 26. September 2019, 15:50:40 CEST schrieb Makarius:
> On 26/09/2019 15:42, Daniel Kirchner wrote:
> > I wasn't sure whether to post this on the isabelle-users or the
> > isabelle-dev mailing list, so I went with the suggestion at
> > https://nms.kcl.ac.uk/christian.urban/Cookbook/, I hope that's fine.
> No, the Isabelle website (e.g. https://isabelle.in.tum.de) explains the
> purposes of the mailing lists. (The cookbook is outdated/misleading in
> many other respects.)
> 	Makarius

Ok, sorry about that then, I wasn't sure especially since the question 
concerns the internal ML API and potential changes to it, but then I'll repost 
to the user list - sorry about the noise!
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190926/b96034c2/attachment.sig>

More information about the isabelle-dev mailing list