iocamlserver
iocamlserver copied to clipboard
Add a -tutorial option
launch iocaml with an inbuilt notebook which provides the documentation for the tools.
Make the option prominent when -h/-help is given.