5 Commits

Author	SHA1	Message	Date
Rudi Grinberg	620bffd21b	Add , for lists	2018-04-12 09:12:56 +07:00
Rudi Grinberg	0d9669f907	Add link to .mli as a stand in for the api docs	2018-04-12 00:05:44 +07:00
Rudi Grinberg	9673d4eaf9	Switch jbuilder in library names	2018-04-11 23:50:23 +07:00
Rudi Grinberg	320154ef87	italicize running	2018-04-11 23:50:16 +07:00
Rudi Grinberg	fb0ac48af2	Documentation for new configurator	2018-04-11 22:14:53 +07:00