diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-06-21 16:48:38 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-08-01 19:26:33 +0200 |
| commit | 6f1e5ff85d736b80a6d3490a21a30c8d37ea18de (patch) | |
| tree | 4d54b9ac1f14c161156c8c0d78066f10302e92ab | |
| parent | 6c7b8057a2baa27d3f420e199df354c22466c783 (diff) | |
Add .v extension to dev/doc/notes-on-conversion
This gives syntax highlighting in Coq-aware editors.
| -rw-r--r-- | dev/doc/notes-on-conversion.v (renamed from dev/doc/notes-on-conversion) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dev/doc/notes-on-conversion b/dev/doc/notes-on-conversion.v index a81f170c6..a81f170c6 100644 --- a/dev/doc/notes-on-conversion +++ b/dev/doc/notes-on-conversion.v |