[isabelle-dev] Using commands in custom tools

Mika Hamacher hamachem at in.tum.de
Mon Dec 13 16:18:47 CET 2021

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.


Diese E-Mail wurde von AVG auf Viren gepr├╝ft.

More information about the isabelle-dev mailing list