[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