diff options
| author | Emilio Jesus Gallego Arias | 2017-11-20 16:19:41 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-11-27 19:44:28 +0100 |
| commit | 4aba7c162905c61b3bb1a9f8d5c325de38b5847a (patch) | |
| tree | d65724fb8941c208f86047b62fbef1229f9c5964 /dev/base_include | |
| 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 'dev/base_include')
0 files changed, 0 insertions, 0 deletions