[isabelle-dev] Manually using a SideKick parser
s1724780 at sms.ed.ac.uk
Tue Nov 17 22:01:57 CET 2020
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
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...
More information about the isabelle-dev