diff options
| author | Enrico Tassi | 2014-04-10 16:12:42 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-04-10 19:43:08 +0200 |
| commit | 7477094b353b48f1bd1f8ee97a8cd69c04be9db9 (patch) | |
| tree | 4170869fea6012788ad042a53790d2d83bc0fee2 /kernel/type_errors.ml | |
| parent | cbd7317516eaac4a5f37c896da5ea984ec1bb77a (diff) | |
CoqIDE: options for syntax highlighting
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions