[isabelle-dev] Using commands in custom tools

[Makarius]

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