summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@college-de-france.fr>2022-12-20 10:48:41 +0100
committerXavier Leroy <xavier.leroy@college-de-france.fr>2022-12-20 10:48:41 +0100
commite6340ced8ca1d46f11eaea8e0474d1eb2142fe1c (patch)
tree00d85b34be9adb55c9469275a63a977b86903cce /manual
parent59a00971056031b6da71249e771e8e45d96cfd77 (diff)
downloadocaml-e6340ced8ca1d46f11eaea8e0474d1eb2142fe1c.tar.gz
Add KC Sivaramakrishnan as author
For the two new chapters "Parallel programming" and "Memory model". Follow-up to #11280.
Diffstat (limited to 'manual')
-rw-r--r--manual/src/allfiles.etex3
1 files changed, 2 insertions, 1 deletions
diff --git a/manual/src/allfiles.etex b/manual/src/allfiles.etex
index 6600943f54..3e07555b85 100644
--- a/manual/src/allfiles.etex
+++ b/manual/src/allfiles.etex
@@ -12,7 +12,8 @@
release \ocamlversion \\[1cm]
\Large Documentation and user's manual \\[1cm]
\large Xavier Leroy, \\
- Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy and Jérôme Vouillon \\[1cm]
+ Damien Doligez, Alain Frisch, Jacques Garrigue, \\
+ Didier Rémy, KC Sivaramakrishnan and Jérôme Vouillon \\[1cm]
\today \\
~
\vfill