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!
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
