launch iocaml with an inbuilt notebook which provides the documentation for the tools. Make the option prominent when -h/-help is given.
launch iocaml with an inbuilt notebook which provides the documentation for the tools.
Make the option prominent when -h/-help is given.