blob: a51f96d0a2b567e9b1aad04357fa17c71e0b2880 (
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``;
replacement TBD.
(`#13381 <https://github.com/coq/coq/pull/13381>`_,
by Jim Fehrle).
|
