diff options
| author | Arnaud Spiwack | 2014-10-10 17:08:24 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-16 10:23:29 +0200 |
| commit | 27632acf63d638e050d26b7fc107a55e13323a0c (patch) | |
| tree | 0374261fb6f395f1ca4493b004f3b6d601f5176f /kernel | |
| parent | ce609ff2ae8bdf59d31919194a2e58d6feb43943 (diff) | |
Proofview.Refine: remove the handle type, and simplify the API.
Now, usual function from Evarutil are used to define evars instead of the variants from Proofview.Refine.
The [update] primitive which tried to patch the difference between pretyping functions and the refine primitive is now replaced by the identity function.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions