[isabelle-dev] Manually using a SideKick parser
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.
More information about the isabelle-dev