Changelog for fork of navigation stack 1.11.8-st1 (2014-07-16) Only some small bits of code are added to add timers/stopwatches for benchmarking the semantic turtle stack.