Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Using commands in custom tools


view this post on Zulip Email Gateway (Dec 13 2021 at 15:19):

From: Mika Hamacher <hamachem@in.tum.de>
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

view this post on Zulip Email Gateway (Dec 13 2021 at 15:33):

From: Makarius <makarius@sketis.net>
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).

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC