Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2020-10-26 | spec: Move glossary specification | Sebastian Huber | 1 | -0/+0 |
2020-06-08 | spec: Rename required in mandatory attributes | Sebastian Huber | 1 | -1/+1 |
2020-05-28 | spec: Canonicalize specification of specification | Sebastian Huber | 1 | -2/+2 |
2020-05-28 | spec: Add specification of glossary items | Sebastian Huber | 1 | -12/+12 |
2020-05-28 | spec: Add specification of specification items | Sebastian Huber | 1 | -9/+13 |
2020-05-28 | spec: Add specification of specification items | Sebastian Huber | 1 | -0/+0 |
2020-05-28 | specverify: New module | Sebastian Huber | 1 | -0/+26 |