[isabelle-dev] Using commands in custom tools

Makarius makarius at sketis.net
Mon Dec 13 16:33:26 CET 2021

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).


More information about the isabelle-dev mailing list