diff options
| author | Matthieu Sozeau | 2014-09-24 11:16:11 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-27 21:22:50 +0200 |
| commit | ad2e11471dbfc0894b4fdfedd895e7f0a75bd930 (patch) | |
| tree | 20c6b4107dd5a5a584e060920922289d16ce0cbc /plugins | |
| parent | 929cba74dc2ba2d1b232b61fb3539babad9e7c76 (diff) | |
First version of keyed subterm selection in unification.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions