tree e5830b3bfcea5c3e3d7dfd7c8c20cedb759822d2
parent 40de176a8e1f12db711fec52ce84b692928910ae
author Antonio García-Domínguez <agarcdomi@gmail.com> 1592166328 +0100
committer Antonio García-Domínguez <agarcdomi@gmail.com> 1592166328 +0100

Add 'TimelineAnnotation' as special-purpose derived attribute type for xAnnotated operations