Tags

Tags give the ability to mark specific points in history as being important

v3.0.0

00126aca · Update on Overleaf. · Aug 30, 2024

Release: v3.0.0 - eFLINT 4
v2.0.0

ab8595c5 · Added CHANGELOG for the spec. · Feb 15, 2024

Release: v2.0.0 - Instances
v0.1.0

093df899 · Fixed releases link · Jul 06, 2022

Release: v0.1.0 - Initial (Pre)Release
v1.0.0

093df899 · Fixed releases link · Jul 06, 2022

Release: v1.0.0 - First implementation