diff options
| author | Jim Fehrle | 2020-03-25 10:21:32 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-03-25 15:05:44 -0700 |
| commit | 245af3e197c36482931248479c8eca5d0e6459a6 (patch) | |
| tree | 4425309080c640d6f89b3ef64389ea2a85c6cc9d /pretyping/typeclasses_errors.ml | |
| parent | bab3c8de77486b0cf022d8f8a19e94f588190b7c (diff) | |
Doc_grammar: Update cmd:: and tacn:: constructs in .rsts
Remove unneeded source and output files
Move all commands under command NT
Add a lot of edits for commands and tactics
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions