Version 2.0.4

Possibly breaking changes


Tweaks to existing functionality

Experimental changes (may be changed or removed in the future)


New examples

Version 2.0.3

Potentially breaking changes


Internal changes


New examples

Version 2.0.2

Potentially breaking changes.


Internal changes

Bug fixes

New examples

Version 2.0.1

This is a minor bugfix release for 2.0.0

Version 2.0.0

Version 1.3.5

Version 1.3.4

Version 1.3.3

Version 1.3.2

Version 1.3.1

Version 1.3

This version of Abella introduces simple-typing. Documentation is available in the reference guide section on typing.

Version 1.2

This version of Abella is aimed at supporting larger developments. Most notably, it introduces a way to compile and import developments. This requires a change to way specifications are associated with developments which is not backwards compatible.

Version 1.1.3

Version 1.1.2

Version 1.1.1

Version 1.1

Version 1.0.2

Version 1.0.1

Version 1.0