[doc] no more journal
Showing
- doc/developer/advance.tex 14 additions, 49 deletionsdoc/developer/advance.tex
- doc/developer/changes.tex 9 additions, 4 deletionsdoc/developer/changes.tex
- doc/developer/hello_world/hello_world.ml 2 additions, 4 deletionsdoc/developer/hello_world/hello_world.ml
- doc/developer/refman.tex 1 addition, 1 deletiondoc/developer/refman.tex
- doc/developer/tutorial.tex 2 additions, 25 deletionsdoc/developer/tutorial.tex
- doc/userman/user-services.tex 3 additions, 53 deletionsdoc/userman/user-services.tex
- doc/userman/user-start.tex 2 additions, 5 deletionsdoc/userman/user-start.tex
Loading
Please register or sign in to comment