| commit | 91a46a658abeb671fe8c38410e018782ea19687a | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Sun Jun 14 21:25:28 2020 +0100 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Sun Jun 14 21:25:28 2020 +0100 |
| tree | e5830b3bfcea5c3e3d7dfd7c8c20cedb759822d2 | |
| parent | 40de176a8e1f12db711fec52ce84b692928910ae [diff] |
Add 'TimelineAnnotation' as special-purpose derived attribute type for xAnnotated operations
