<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr" text="#000000" bgcolor="#FFFFFF">
<div id="divtagdefaultwrapper"
style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;"
dir="ltr">
<p><br>
</p>
<p>Does any know if there is some way of temporarily hiding parts
of proofs in</p>
<p>Emacs Agda mode? Maybe some general feature of Emacs can do
that?</p>
<p><br>
</p>
<p>For instance, it would be useful to hide definiens/proofs when
browsing <br>
</p>
<p>Agda files.<br>
</p>
<p><br>
</p>
<p> I seem to recall that there was such a feature in Alfa a GUI
for Agda 1, which</p>
<p>was very useful . In e.g. Mathematica there is also a
convenient section system,</p>
<p>where parts can be hidden or folded away with a click.<br>
</p>
<p><br>
</p>
<p><br>
</p>
<p>Erik<br>
</p>
<p><br>
</p>
<br>
<br>
</div>
</body>
</html>