diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 14:45:37 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-05-30 14:45:37 +0200 |
| commit | efd10a40347e2f84988ce5421909f79ed01750ce (patch) | |
| tree | 76c4d27dd678ec88e6a479497b8783395f52b0d2 /doc/index.html | |
| parent | 07caf778d7536392c7bc08216b900a1d2387dfb2 (diff) | |
| download | compcert-kvx-efd10a40347e2f84988ce5421909f79ed01750ce.tar.gz compcert-kvx-efd10a40347e2f84988ce5421909f79ed01750ce.zip | |
coq2html: use OCaml's alternate string literals for multi-line strings
Diffstat (limited to 'doc/index.html')
0 files changed, 0 insertions, 0 deletions