diff options
| author | Hugo Herbelin | 2014-06-13 13:00:49 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-06-13 13:09:59 +0200 |
| commit | b94dcdd6e4bfac485ffaf9e11f8f3a5b0329ffa4 (patch) | |
| tree | cd24335dab0779f91b6e8b36aaf19a199b092fa1 /plugins | |
| parent | 8cb6251702b09186ca41c5ce67464b83ccfb3d16 (diff) | |
Improving tclWITHHOLES which did not see undefined evars up to
restriction, after last fix commit which precisely possibly restricts
evars of a term "t" in "apply t in H" without resolving them.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions