Re: [isabelle] Isabelle2013-1-RC3 available for testing (fwd)



Hi Cornelius,

> Today I observed the following: when try0 suggest auto[1] and I click
> on it, it inserts `apply (auto [1])', it should be `apply (auto)[1]'.

Thanks for the report. I've fixed it in the development version. However, it is not a regression, so I won't argue for the inclusion of this change in the final Isabelle2013-1 release.

Regards,

Jasmin





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.