Tide feature and improved example#94

Merged

kaj merged 9 commits intomasterfrom

Aug 7, 2020

Commits on Jul 30, 2020

Larger tide example.
kaj
committed

Commits on Jul 31, 2020

Commits on Aug 2, 2020

Initial tide feature.
kaj
committed

Commits on Aug 6, 2020