[isabelle-dev] Manually using a SideKick parser

Makarius makarius at sketis.net
Wed Nov 18 08:00:26 CET 2020


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


More information about the isabelle-dev mailing list