Isar Annotation

Annotations for the Isar Database. You don't need to manually add this package.

Libraries

isar_annotation