Doc: update the user doc
Showing
- .gitlab-ci.yml 2 additions, 0 deletions.gitlab-ci.yml
- Makefile 3 additions, 0 deletionsMakefile
- README.md 1 addition, 0 deletionsREADME.md
- guides/users/Makefile 5 additions, 1 deletionguides/users/Makefile
- guides/users/README.md 148 additions, 248 deletionsguides/users/README.md
- guides/users/README.org 102 additions, 81 deletionsguides/users/README.org
- lib/algo/algo.mli 56 additions, 35 deletionslib/algo/algo.mli
- lib/sasacore/register.mli 5 additions, 5 deletionslib/sasacore/register.mli
- test/Makefile 1 addition, 1 deletiontest/Makefile
- test/Makefile.inc 4 additions, 4 deletionstest/Makefile.inc
- test/README.md 17 additions, 33 deletionstest/README.md
- test/README.org 32 additions, 23 deletionstest/README.org
- test/async-unison/Makefile 5 additions, 1 deletiontest/async-unison/Makefile
- test/async-unison/grid4.dot 11 additions, 29 deletionstest/async-unison/grid4.dot
- test/async-unison/my-rdbg-tuning.ml 5 additions, 0 deletionstest/async-unison/my-rdbg-tuning.ml
- test/async-unison/state.ml 1 addition, 1 deletiontest/async-unison/state.ml
- test/my-rdbg-tuning.ml 14 additions, 6 deletionstest/my-rdbg-tuning.ml
- test/skeleton/Makefile 3 additions, 4 deletionstest/skeleton/Makefile
- test/unison/Makefile 9 additions, 3 deletionstest/unison/Makefile
Loading
Please register or sign in to comment