diff options
| author | Matthieu Sozeau | 2014-06-13 11:56:30 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-13 12:05:48 +0200 |
| commit | 54b1d23e062940263b6868945db808d49d011306 (patch) | |
| tree | 51a625eb828f67200e8e5e86a45fb28d1cd71171 /plugins | |
| parent | e5da547c91e99b3836ed8f1fb6c7a1b298ec6e4a (diff) | |
Adapt simpl/cbn unfolding and refolding machinery to projections, so that
primitive projections obey the Arguments command.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions