diff options
| author | Pierre-Marie Pédrot | 2014-09-06 19:30:39 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-09-06 19:30:39 +0200 |
| commit | 489964b94ba1bb2cc6f36674b7eb439f8126e377 (patch) | |
| tree | b91fed34f01c1ce624eadbdd4d579a02cc0ba4d3 /plugins | |
| parent | 93843afea41edc87c47ff30965bb791461d78287 (diff) | |
Adding a way to inject tactic closures in interpretation values.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions