<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
span.DefaultFontHxMailStyle
{mso-style-name:"Default Font HxMail Style";
font-family:"Calibri",sans-serif;
color:windowtext;
font-weight:normal;
font-style:normal;
text-decoration:none none;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="blue" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span class="DefaultFontHxMailStyle"><span style="font-size:12.0pt">Sorry!
<o:p></o:p></span></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt">Carlin MacKenzie<o:p></o:p></span></p>
<p class="MsoNormal"><span class="DefaultFontHxMailStyle"><span style="font-size:12.0pt"><o:p> </o:p></span></span></p>
<p class="MsoNormal"><span class="DefaultFontHxMailStyle"><span style="font-size:12.0pt"><o:p> </o:p></span></span></p>
<div style="mso-element:para-border-div;border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal" style="border:none;padding:0cm"><b>From: </b><a href="mailto:makarius@sketis.net">Makarius</a><br>
<b>Sent: </b>18 November 2020 7:00 AM<br>
<b>To: </b><a href="mailto:s1724780@sms.ed.ac.uk">MACKENZIE Carlin</a>; <a href="mailto:isabelle-dev@mailman46.in.tum.de">
isabelle-dev@mailman46.in.tum.de</a><br>
<b>Subject: </b>Re: [isabelle-dev] Manually using a SideKick parser</p>
</div>
<p class="MsoNormal"><span class="DefaultFontHxMailStyle"><span style="font-size:12.0pt"><o:p> </o:p></span></span></p>
<p class="MsoNormal">This email was sent to you by someone outside of the University.<br>
You should only click on links or attachments if you are certain that the email is genuine and the content is safe.<br>
<br>
On 17/11/2020 22:01, MACKENZIE Carlin wrote:<br>
> Dear all,<br>
><br>
> I would like to run a parser, say<br>
> "isabelle-context",from isabelle_sidekick.scala on a theory file and examine<br>
> the output. Could someone advise on how to do this? I'm not sure where to look<br>
> for an example call in the code<br>
<br>
How is this related to the Isabelle development process?<br>
<br>
You should ask this on the isabelle-users mailing list.<br>
<br>
<br>
Makarius<o:p></o:p></p>
<p class="MsoNormal"><span class="DefaultFontHxMailStyle"><span style="font-size:12.0pt"><o:p> </o:p></span></span></p>
</div>
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
</body>
</html>