diff options
| author | Emilio Jesus Gallego Arias | 2017-02-23 19:13:33 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-23 23:11:15 +0100 |
| commit | c1ce5e0ea55f0f3eaff83210d2e8d0c7d2ca93ec (patch) | |
| tree | 22d5a64f274b52ad9f934b9e2908e80ec3fd7513 /mathcomp/_CoqProject | |
| parent | c023d240b9eb4e203f442d474beb76745c4acfa0 (diff) | |
[safe-string] Allow compilation with -safe-string.
The first part of changes is easy, we could maybe polish the notation
part a bit more.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions