diff options
| author | coqbot-app[bot] | 2021-01-18 01:23:22 +0000 |
|---|---|---|
| committer | GitHub | 2021-01-18 01:23:22 +0000 |
| commit | 888f03e827a6398936b75ee89f0d0db57e1d86c7 (patch) | |
| tree | fc3b73695b97a2dfce86d1c9aaf06690c00f0cd2 /kernel/genOpcodeFiles.ml | |
| parent | 58a4f645ee6d306cb824c2ac2dfa21e460b9692a (diff) | |
| parent | 36aca7f0fa7da700325c9bd99fbef5a6aafea4e7 (diff) | |
Merge PR #13705: Improve documentation of rewrite_strat/innermost and outermost
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Ack-by: gares
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions