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

Mika


-- 
Diese E-Mail wurde von AVG auf Viren gepr├╝ft.
http://www.avg.com



More information about the isabelle-dev mailing list