diff options
| author | Matthieu Sozeau | 2014-07-06 20:08:06 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-07-07 00:56:23 +0200 |
| commit | b44b68ec704df75f684e3393980f3518caf1a506 (patch) | |
| tree | ac14d8de80f65597b43e63bf10a3431b83b14939 /doc/stdlib | |
| parent | 3d52830b4876dadb985115a2ffeff6c0b77ca33d (diff) | |
In dest_prod_assum, allow non-toplevel let-reductions (fixes a bug found in MathClasses).
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions