Doc: some documentation work (users guide, contributors guide, code interface, etc.)
Showing
- guides/contributors/README.md 292 additions, 51 deletionsguides/contributors/README.md
- guides/contributors/README.org 88 additions, 39 deletionsguides/contributors/README.org
- guides/users/README.md 197 additions, 24 deletionsguides/users/README.md
- guides/users/README.org 155 additions, 14 deletionsguides/users/README.org
- lib/sasacore/demon.ml 1 addition, 11 deletionslib/sasacore/demon.ml
- lib/sasacore/demon.mli 25 additions, 10 deletionslib/sasacore/demon.mli
- lib/sasacore/env.mli 5 additions, 2 deletionslib/sasacore/env.mli
- lib/sasacore/genLutin.mli 2 additions, 2 deletionslib/sasacore/genLutin.mli
- lib/sasacore/process.ml 3 additions, 2 deletionslib/sasacore/process.ml
- lib/sasacore/process.mli 11 additions, 4 deletionslib/sasacore/process.mli
- lib/sasacore/sasArg.ml 7 additions, 7 deletionslib/sasacore/sasArg.ml
- lib/sasacore/sasArg.mli 1 addition, 3 deletionslib/sasacore/sasArg.mli
- lib/sasacore/topology.mli 5 additions, 6 deletionslib/sasacore/topology.mli
- test/README.md 15 additions, 0 deletionstest/README.md
- test/README.org 22 additions, 0 deletionstest/README.org
- test/my-rdbg-tuning.ml 1 addition, 0 deletionstest/my-rdbg-tuning.ml
- test/rdbg-utils/dot.ml 1 addition, 1 deletiontest/rdbg-utils/dot.ml
Loading
Please register or sign in to comment