Code

Further documentation improvements#539

Code

Merged

Alasdair merged 2 commits intosail2rems-project/sail:sail2from doc_improvements3rems-project/sail:doc_improvements3Copy head branch name to clipboardMay 13, 2024

+241-55

Commits

Commits on May 12, 2024

• Some further documentation improvements

  Show description for 7c1e616
  Alasdair

  committed
  7c1e616

Commits on May 13, 2024

• Refactor pretty printer output functions

  Show description for 4ac6bef
  Alasdair

  committed
  4ac6bef