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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
