[isabelle-dev] Manually using a SideKick parser

[Makarius]

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