On 13/12/2021 16:18, Mika Hamacher wrote:
> Hey everyone,
>
> im currently developing a tool for Isabelle where i need to run a function in
> ML and use/parse it's output in my scala project. I was wondering if there is
> a recommended/standard way to achieve that.
Note that Isabelle tool development is a regular user-space activity, so this
belongs to the isabelle-users mailing list.
Similar questions have been asked over there many times. (I usually point to
chapter chapter 4 of the "system" manual).
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
