diff options
| author | Pierre-Marie Pédrot | 2015-02-11 00:20:07 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-11 00:20:07 +0100 |
| commit | e914f29ff02cfc065d6b3e8f45259341198fef5d (patch) | |
| tree | c47075b21cda6b833a02b6d0af00ccbdb1b6b9ec /kernel/type_errors.mli | |
| parent | 9bbf64143da7c29a3b7b1bf84a70f887e1e8aa63 (diff) | |
Reinstauring backtrace display in CoqIDE.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions