<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>