Re: [isabelle] Isabelle2013-1-RC3 available for testing (fwd)
> Today I observed the following: when try0 suggest auto and I click
> on it, it inserts `apply (auto )', it should be `apply (auto)'.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and