diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-05-07 15:09:58 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-05-08 20:31:56 +0200 |
| commit | 8bbd7ceb554f68f0473f492f45e0f909af15992b (patch) | |
| tree | 9de035a792b36252a918b169711b5ccf0470b261 /kernel/environ.mli | |
| parent | d4a81ee817a1a4dbf23d3777be3dff29b96c89db (diff) | |
Little reorganization of generalize tactics code w/o semantic changes.
Also removing trailing spaces.
Diffstat (limited to 'kernel/environ.mli')
0 files changed, 0 insertions, 0 deletions