diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-09-01 11:27:45 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-09-01 11:27:45 +0200 |
| commit | 9f7a633ae30f997c2e70c31681e92d1ef43f9655 (patch) | |
| tree | c04825d83bc6c4ee7b9d02cae8860b6ea171fa50 /kernel/context.ml | |
| parent | 20c2176e8b0b64737fad8dbc1fbc9ef2d182372d (diff) | |
Code cleaning in Tacintern.
Diffstat (limited to 'kernel/context.ml')
0 files changed, 0 insertions, 0 deletions