[Agda] Auto

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Mon Jan 10 14:40:53 CET 2011


On Mon, Jan 10, 2011 at 7:06 AM, Nils Anders Danielsson
<nad at cs.nott.ac.uk>wrote:

> The auto command was included in 2.2.6, but was not mentioned in the
> release notes until 2.2.8. The -c feature was new in version 2.2.8.
>
>
Thanks for the correction. I have fixed the Wiki.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110110/6288467e/attachment.html


More information about the Agda mailing list