Skip to content

Tags: JetBrains/Arend

Tags

v1.9.0

Toggle v1.9.0's commit message
Make projections of fields into boxed expressions

v1.8.0

Toggle v1.8.0's commit message
Fix tests

v1.7.0.1

Toggle v1.7.0.1's commit message
Version 1.7.0.1

v1.7.0

Toggle v1.7.0's commit message
1.6.1 -> 1.7

v1.6.0.1

Toggle v1.6.0.1's commit message
Fix Version

v1.6.0

Toggle v1.6.0's commit message
1.5.1 -> 1.6

v1.5.0

Toggle v1.5.0's commit message
Fix CME

Fixes #273

v1.4.0

Toggle v1.4.0's commit message
1.4