diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2015-04-10 12:24:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2015-04-10 12:24:37 +0000 |
| commit | 53ab650ed0a357bb5a70a333863c25d0b924a53e (patch) | |
| tree | 62e3c349018509ce33ffb94fb7c00616a23affab /coq/example.v | |
| parent | fb9f956c4fd7fd2d63f970040eaeffa6ac08222c (diff) | |
Added unicode forall in font-lock regexps.
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions