Skip to content

Releases: coq/ltac2

Ltac2 0.3 version for Coq 8.10

05 Jun 09:27
@Zimmi48 Zimmi48
0.3
72ab28c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Ltac2 0.3 version for Coq 8.10 Pre-release
Pre-release

An alpha release of Ltac2 compatible with Coq 8.10.

Assets 2
Loading

Ltac2 0.2 version for Coq 8.9

05 Jun 09:22
@Zimmi48 Zimmi48
0.2
a69551a
Compare
Choose a tag to compare
Ltac2 0.2 version for Coq 8.9 Pre-release
Pre-release

An alpha release of Ltac2 compatible with Coq 8.9.

Assets 2
Loading

Ltac2 0.1 version for Coq 8.8

05 Jun 14:16
@ppedrot ppedrot
0.1
49736b7
Compare
Choose a tag to compare
Ltac2 0.1 version for Coq 8.8 Pre-release
Pre-release

A very alpha release of Ltac2 compatible with Coq 8.8 to give a foretaste of the language.

Assets 2
Loading

Backport version of Ltac2 to Coq 8.7

05 Jun 09:20
@Zimmi48 Zimmi48
v0.1-8.7
d0591d1
Compare
Choose a tag to compare
Backport version of Ltac2 to Coq 8.7 Pre-release
Pre-release

This version should be functionally equivalent to Ltac2 0.1 (for Coq 8.8):

A very alpha release of Ltac2 compatible with Coq 8.8 to give a foretaste of the language.

Assets 2
Loading