blob: 580e808baa4ffdb0aa6e138fe6e62029ef0fbea5 (
plain)
1
2
3
4
5
6
7
|
- Update 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).
|
