diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 16:56:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 16:56:30 +0000 |
| commit | 4878ed1c9a0f269494ef22cff2bfb40bec1b69dc (patch) | |
| tree | c05deb2f1f51a64db41491acd39d6177dd38dce1 /coq/example-tokens.v | |
| parent | b97d82c0af4bf658c28e531b762b87f291f792a5 (diff) | |
Support custom syntactic fontification. Split out pa macros.
Diffstat (limited to 'coq/example-tokens.v')
0 files changed, 0 insertions, 0 deletions