[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