diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-20 16:19:41 +0100 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-11-27 19:44:28 +0100 |
commit | 4aba7c162905c61b3bb1a9f8d5c325de38b5847a (patch) | |
tree | d65724fb8941c208f86047b62fbef1229f9c5964 /kernel/byterun/coq_values.h | |
parent | 437f20f0a1c2717cd7baae52e2ab20750dd9d4fb (diff) |
[vernac] Start to uniformize type of vernac interpretation.
In particular, we put all the context in the atts structure, and
generalize the type of the parameters of a vernac.
I hope this helps people working on "attributes", my motivation is
indeed having a more robust interpretation.
Diffstat (limited to 'kernel/byterun/coq_values.h')
0 files changed, 0 insertions, 0 deletions