diff options
| author | Pierre-Marie Pédrot | 2014-11-17 11:05:13 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-11-17 11:05:13 +0100 |
| commit | efaf5563feed02a0896f33b07e21c2e9797b83ed (patch) | |
| tree | ca27890ef800b96ac9958a2ce267d3d51c16d437 /kernel/make-opcodes | |
| parent | 462b733b2df486dbf123638418159ef8c4ee93a2 (diff) | |
Documenting use of colors in Coq.
Diffstat (limited to 'kernel/make-opcodes')
0 files changed, 0 insertions, 0 deletions