diff options
author | 2016-10-14 19:06:10 +0200 | |
---|---|---|
committer | 2016-10-14 20:00:28 +0200 | |
commit | d8e87360b6413d9eb02c2c47441c8f48b816eac3 (patch) | |
tree | 3bfd16c875d116cc520088ea6c74d2646d0c829d /.dir-locals.el | |
parent | db18609c06b73ac168ad06a0c2073188587f5814 (diff) |
Using "simple apply" and "simple eapply" in the trace of auto.
This is more precise and probably clearer (see e.g. thread
"Understanding auto" on coq-club).
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions