Code

Update ertp guide and api#33

Code

Merged

barbaraliau merged 4 commits intomasterAgoric/documentation:masterfrom update-ertp-guideAgoric/documentation:update-ertp-guideCopy head branch name to clipboardOct 31, 2019

+711-650

Commits

Commits on Oct 31, 2019

• Start glossary for ERTP

  barbaraliau

  committed
  5b9dc68

  Copy full SHA for 5b9dc68

• Start ERTP glossary

  barbaraliau

  committed
  3fe7ccb

  Copy full SHA for 3fe7ccb

• Pull out concepts into own files, update headers, update sidebars

  barbaraliau

  committed
  2e85669

  Copy full SHA for 2e85669

• Merge branch 'master' into update-ertp-guide

  barbaraliau

  committed
  4b4b69c

  Copy full SHA for 4b4b69c