Sorry! Carlin MacKenzie
From: Makarius<mailto:[email protected]> Sent: 18 November 2020 7:00 AM To: MACKENZIE Carlin<mailto:[email protected]>; [email protected]<mailto:[email protected]> 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. Makarius The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
