Changelog

Version 2.0.4

Possibly breaking changes

Additions

Tweaks to existing functionality

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

Bugfixes

New examples

Version 2.0.3

Potentially breaking changes

Additions

Internal changes

Bugfixes

New examples

Version 2.0.2

Potentially breaking changes.

Additions

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