diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-04-13 13:06:40 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-04-13 13:06:40 +0000 |
commit | 6de817881dd92175165b47c672e4ab7d9fb3e4c2 (patch) | |
tree | a6d8d09ef540a21967fe8def733f4dfc7afb4973 /coq/coq-db.el | |
parent | 53ab650ed0a357bb5a70a333863c25d0b924a53e (diff) |
Debugging font-lock for ∀, ∃, and λ.
Diffstat (limited to 'coq/coq-db.el')
0 files changed, 0 insertions, 0 deletions