On 17/11/2020 22:01, MACKENZIE Carlin wrote:
> Dear all,
>
> I would like to run a parser, say
> "isabelle-context",from isabelle_sidekick.scala on a theory file and examine
> the output. Could someone advise on how to do this? I'm not sure where to look
> for an example call in the code
How is this related to the Isabelle development process?
You should ask this on the isabelle-users mailing list.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
