[Doc] update plugin dev Hello tutorial
Showing
- doc/developer/advance.tex 20 additions, 19 deletionsdoc/developer/advance.tex
- doc/developer/macros.sty 1 addition, 0 deletionsdoc/developer/macros.sty
- doc/developer/tutorial.tex 500 additions, 401 deletionsdoc/developer/tutorial.tex
- doc/developer/tutorial/hello/Makefile 78 additions, 48 deletionsdoc/developer/tutorial/hello/Makefile
- doc/developer/tutorial/hello/src/Hello.ml 0 additions, 0 deletionsdoc/developer/tutorial/hello/src/Hello.ml
- doc/developer/tutorial/hello/src/dune 34 additions, 0 deletionsdoc/developer/tutorial/hello/src/dune
- doc/developer/tutorial/hello/src/dune-project 27 additions, 0 deletionsdoc/developer/tutorial/hello/src/dune-project
- doc/developer/tutorial/hello/src/hello_test.c 0 additions, 1 deletiondoc/developer/tutorial/hello/src/hello_test.c
- doc/developer/tutorial/hello/src/ptests_config 2 additions, 0 deletionsdoc/developer/tutorial/hello/src/ptests_config
- doc/developer/tutorial/hello/src/run_call_print_bug.ml 1 addition, 1 deletiondoc/developer/tutorial/hello/src/run_call_print_bug.ml
- doc/developer/tutorial/hello/src/test_config 1 addition, 0 deletionsdoc/developer/tutorial/hello/src/test_config
- doc/developer/tutorial/hello/v1-simple/Hello.ml 0 additions, 0 deletionsdoc/developer/tutorial/hello/v1-simple/Hello.ml
- doc/developer/tutorial/hello/v1-simple/dune 12 additions, 0 deletionsdoc/developer/tutorial/hello/v1-simple/dune
- doc/developer/tutorial/hello/v1-simple/dune-project 5 additions, 0 deletionsdoc/developer/tutorial/hello/v1-simple/dune-project
- doc/developer/tutorial/hello/v1-simple/hello_world.ml 11 additions, 0 deletionsdoc/developer/tutorial/hello/v1-simple/hello_world.ml
- doc/developer/tutorial/hello/v2-register/Hello.ml 0 additions, 0 deletionsdoc/developer/tutorial/hello/v2-register/Hello.ml
- doc/developer/tutorial/hello/v2-register/dune 12 additions, 0 deletionsdoc/developer/tutorial/hello/v2-register/dune
- doc/developer/tutorial/hello/v2-register/dune-project 5 additions, 0 deletionsdoc/developer/tutorial/hello/v2-register/dune-project
- doc/developer/tutorial/hello/v2-register/hello_world.ml 20 additions, 0 deletionsdoc/developer/tutorial/hello/v2-register/hello_world.ml
- doc/developer/tutorial/hello/v3-log/Hello.ml 0 additions, 0 deletionsdoc/developer/tutorial/hello/v3-log/Hello.ml
Loading
Please register or sign in to comment