[isabelle-dev] Manually using a SideKick parser

MACKENZIE Carlin s1724780 at sms.ed.ac.uk
Wed Nov 18 13:25:44 CET 2020


Carlin MacKenzie

From: Makarius<mailto:makarius at sketis.net>
Sent: 18 November 2020 7:00 AM
To: MACKENZIE Carlin<mailto:s1724780 at sms.ed.ac.uk>; isabelle-dev at mailman46.in.tum.de<mailto:isabelle-dev at mailman46.in.tum.de>
Subject: Re: [isabelle-dev] Manually using a SideKick parser

This email was sent to you by someone outside of the University.
You should only click on links or attachments if you are certain that the email is genuine and the content is safe.

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.


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/20201118/1f2f1c4e/attachment.htm>

More information about the isabelle-dev mailing list