blob: f37fbfe52b1b4d983249f440d1db7a9bc6abe315 (
plain)
1
2
3
4
5
6
|
- **Deprecated:**
Undocumented :n:`eauto @int_or_var @int_or_var` syntax in favor of new ``bfs eauto``.
Also deprecated 2-integer syntax for ``debug eauto`` and ``info_eauto``.
(Use ``bfs eauto`` with the :flag:`Info Eauto` or :flag:`Debug Eauto` flags instead.)
(`#13381 <https://github.com/coq/coq/pull/13381>`_,
by Jim Fehrle).
|
