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