Repository navigation

v1.4

tebbi released this 18 Jan 14:44

· 89 commits to master since this release

3214cec

changes:
switched to ssreflect version 1.6
normalization behaviour of asimpl changed: [ids x .: ids] is now normalized to [ren(x .: id)]

Assets 2