diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-02 21:30:29 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-03-03 05:46:37 +0100 |
commit | a0bd33bdb81271025494d3f7ac7ae20bd6671579 (patch) | |
tree | cda6166237e62a8aa3ae34ae162f0b8ba46fb560 /doc/stdlib | |
parent | bdc74cd1b945b69f81264cb6df8eb793c0c6817f (diff) |
Formatting references with surrounding brackets in Diaconescu.v.
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions