diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-08-25 15:22:18 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-08-26 12:13:01 +0200 |
| commit | bbcb802d81fad79fc76bde031bafb130132946ba (patch) | |
| tree | d2bdd6f25bb220c6a143c754e17aabb2c01cac6d /tactics | |
| parent | 64041ca0c17430085c20b7754277313fdb439a6a (diff) | |
Make evarconv and unification able to handle eta for records in presence
of metas/evars
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions