[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