[isabelle-dev] Using commands in custom tools
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