[isabelle-dev] Manually using a SideKick parser

MACKENZIE Carlin s1724780 at sms.ed.ac.uk
Tue Nov 17 22:01:57 CET 2020

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

Thank you,
Carlin MacKenzie
The University of Edinburgh
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20201117/6280a49c/attachment.htm>

More information about the isabelle-dev mailing list