pml icon indicating copy to clipboard operation
pml copied to clipboard
verified publisher icon rlepigre

A minimal user documentation is needed

Open craff opened this issue 8 years ago • 1 comments

Currently make doc, is just for developer (ocamldoc of files)

craff avatar Dec 18 '17 15:12 craff

The pml book is progressing, at least for that part! Still not yet there.

craff avatar Jul 27 '22 01:07 craff