diff options
| author | Arnaud Spiwack | 2014-09-08 10:55:10 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-09-08 10:58:23 +0200 |
| commit | 23058c691868165b0aa5e32beb92a7bb07bc4b12 (patch) | |
| tree | 8f7d51783c02923c4dbe495b3c75f7a6556625cf /plugins/xml/doubleTypeInference.mli | |
| parent | 656fc30fb1279c4b5a0d196cb559707df74d894d (diff) | |
CHANGES: Ltac's [refine] accepts [uconstr].
Diffstat (limited to 'plugins/xml/doubleTypeInference.mli')
0 files changed, 0 insertions, 0 deletions