blob: a2c5e44340640e3d778df7d936db3922569efc2e (
plain)
1
2
3
4
5
6
|
- **Deprecated:**
"eauto @int_or_var @int_or_var" in favor of new "bfs eauto".
Also deprecated 2-integer option for "debug eauto" and "info_eauto";
replacement TBD.
(`#13381 <https://github.com/coq/coq/pull/13381>`_,
by Jim Fehrle).
|
