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 /doc/stdlib | |
| 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 'doc/stdlib')
| -rw-r--r-- | doc/stdlib/hidden-files | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files index b816ef6210..dbc3a42ee9 100644 --- a/doc/stdlib/hidden-files +++ b/doc/stdlib/hidden-files @@ -12,12 +12,14 @@ plugins/extraction/ExtrHaskellZInteger.v plugins/extraction/ExtrHaskellZNum.v plugins/extraction/ExtrOcamlBasic.v plugins/extraction/ExtrOcamlBigIntConv.v +plugins/extraction/ExtrOcamlChar.v plugins/extraction/ExtrOCamlInt63.v plugins/extraction/ExtrOCamlFloats.v plugins/extraction/ExtrOcamlIntConv.v plugins/extraction/ExtrOcamlNatBigInt.v plugins/extraction/ExtrOcamlNatInt.v plugins/extraction/ExtrOcamlString.v +plugins/extraction/ExtrOcamlNativeString.v plugins/extraction/ExtrOcamlZBigInt.v plugins/extraction/ExtrOcamlZInt.v plugins/extraction/Extraction.v |