<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="ltr">I've installed a new version of Agda (2.6.2.2), but emacs agda mode keeps using an older version (2.6.1.1).
<div><br>
</div>
<div>Using the "Switch to another version of Agda" option with Version 2.6.2.2 gives the error message:</div>
<div> Could not find agda-mode-2.6.2.2<br>
<div><br>
</div>
<div>Any suggestions on how to fix? Or on what information I could provide that would help someone track down the problem? (Dumping the entire state of my laptop seems excessive ...) </div>
<div><br>
</div>
<div>Thank you for your help. Go well, -- p
<div><br>
</div>
<div><br clear="all">
<div>
<div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">
<div dir="ltr">
<div>
<div dir="ltr">. \ Philip Wadler, Professor of Theoretical Computer Science,<br>
. /\ School of Informatics, University of Edinburgh<br>
</div>
<div>. / \ and Senior Research Fellow, IOHK<br>
</div>
<div dir="ltr">. <span><a href="http://homepages.inf.ed.ac.uk/wadler/" target="_blank">http://homepages.inf.ed.ac.uk/wadler/</a></span></div>
</div>
<div dir="ltr"><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
</body>
</html>