[Agda] Auto

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Mon Jan 10 13:06:03 CET 2011


On 2011-01-09 23:31, Andrés Sicard-Ramírez wrote:
>
> On Sun, Jan 9, 2011 at 2:21 PM, Wolfgang Jeltsch <g9ks157k at acme.softbase.org <mailto:g9ks157k at acme.softbase.org>> wrote:
>
>     Is it expected to also work with 2.2.6?
>
> No. The auto command was added to Agda 2.2.8

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.

-- 
/NAD



More information about the Agda mailing list