diff options
| author | Hugo Herbelin | 2017-03-24 21:13:38 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2017-05-17 19:15:20 +0200 |
| commit | 80fc13e3115058230586246e72d69e3eac467f73 (patch) | |
| tree | c8559426286c7a0ac54051860f55e4f16f9bc9dd /kernel/uGraph.mli | |
| parent | 94e8664074cfb987f8a63ca29c5436c861184b3a (diff) | |
Documenting relaxing of constraints on injection.
We seized this opportunity to do a little refreshing of the section
describing injection.
Diffstat (limited to 'kernel/uGraph.mli')
0 files changed, 0 insertions, 0 deletions