[Agda] Asynchronous Emacs mode / Interactive syntax highlighting

Guilhem Moulin guilhem.moulin at chalmers.se
Sun Jan 29 02:28:21 CET 2012


Hi there,

As you may have already noticed, the following changes to the interface
have been pushed upstream:

  * Asynchronous Emacs mode.
  
    One can now use Emacs while a buffer is type-checked. If the buffer
    is edited while the type-checker runs, then syntax highlighting will
    not be updated when type-checking is complete.
  
  * Interactive syntax highlighting.
  
    The syntax highlighting is updated while a buffer is type-checked.
    This interactive highlighting is currently rather crude, it just
    marks that a piece of code is being type-checked, or has been
    type-checked.
  
  * The Emacs mode now presents information about which module is
    currently being type-checked.

Enjoy
-- 
Guilhem.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120129/6165b92b/attachment.bin


More information about the Agda mailing list