Skip to content

Tags: leanprover-community/lean4-mode

Tags

1.1.2

Verified

This commit was signed with the committer’s verified signature.
mekeor
SSH Key Fingerprint: mkzkZpjqwztUfhz4wmDkCypYb5KImB6bkAw7gwO/k08
Verified
Learn about vigilant mode 
Release version 1.1.2

1.1.1

Verified

This commit was signed with the committer’s verified signature.
mekeor
SSH Key Fingerprint: mkzkZpjqwztUfhz4wmDkCypYb5KImB6bkAw7gwO/k08
Verified
Learn about vigilant mode 
Release version 1.1.1

1.1.0

Verified

This commit was signed with the committer’s verified signature.
mekeor
SSH Key Fingerprint: mkzkZpjqwztUfhz4wmDkCypYb5KImB6bkAw7gwO/k08
Verified
Learn about vigilant mode 
Release version 1.1.0

1.0.1

Verified

This commit was signed with the committer’s verified signature.
mekeor
SSH Key Fingerprint: mkzkZpjqwztUfhz4wmDkCypYb5KImB6bkAw7gwO/k08
Verified
Learn about vigilant mode 
Release version 1.0.1

1.0.0

Verified

This commit was signed with the committer’s verified signature.
mekeor
SSH Key Fingerprint: mkzkZpjqwztUfhz4wmDkCypYb5KImB6bkAw7gwO/k08
Verified
Learn about vigilant mode 
Release version 1.0.0

Fixes issue #78 "Specification of lean4-mode version".