diff options
| author | Matthieu Sozeau | 2018-06-04 14:19:16 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-06-04 14:19:16 +0200 |
| commit | 82dc05efc11514c2c05ec17e448e0b4b322e7c86 (patch) | |
| tree | 02c45297dacfa632a9926dceb514c8ee3ef50cdd /dev/doc/changes.md | |
| parent | 51555af3cccae1f73bfe97e4347a5c625c6d0ec6 (diff) | |
| parent | 2c7fb44684b26d9c9aea0794b9f0d52088337477 (diff) | |
Merge PR #7013: Fixes #7011: Fix/CoFix were not considered in main loop of tactic unification.
Diffstat (limited to 'dev/doc/changes.md')
0 files changed, 0 insertions, 0 deletions