blob: a17f1704fed4e50271cddaa4cb809c98c395ca18 (
plain)
1
2
3
4
5
6
7
8
|
- **Changed:**
Output generated by :flag:`Printing Dependent Evars Line` flag
used by the Prooftree tool in Proof General.
(`#10489 <https://github.com/coq/coq/pull/10489>`_,
closes `#4504 <https://github.com/coq/coq/issues/4504>`_,
`#10399 <https://github.com/coq/coq/issues/10399>`_ and
`#10400 <https://github.com/coq/coq/issues/10400>`_,
by Jim Fehrle).
|
