diff options
| author | Kazuhiko Sakaguchi | 2020-01-14 20:29:24 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-01-14 20:29:24 +0900 |
| commit | 85f38599f59ada198260870aa64703348e739bd8 (patch) | |
| tree | ca6b038f894769a43b865a8313585d8bda3f681e /kernel/genOpcodeFiles.ml | |
| parent | 507141cb978ae9383b79e4a6af6ab968cb8d540e (diff) | |
| parent | fcc3d7c64cc3d6f8f60e0e0f9469a78009b7fbd2 (diff) | |
Merge PR #10486: [extraction] Support extraction of Coq's string type to OCaml's string type
Ack-by: SkySkimmer
Ack-by: Zimmi48
Ack-by: ejgallego
Reviewed-by: herbelin
Ack-by: maximedenes
Reviewed-by: pi8027
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions