Skip to content

Tags: domasin/HOL

Tags

kananaskis-9

Toggle kananaskis-9's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
Released as kananaskis-9.

kananaskis-8

Toggle kananaskis-8's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
Released as Kananaskis-8.

kananaskis-7

Toggle kananaskis-7's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
Released as Kananaskis-7

kananaskis-6

Toggle kananaskis-6's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
Released as Kananaskis-6

kananaskis-5

Toggle kananaskis-5's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
Released as Kananaskis-5.

kananaskis-4

Toggle kananaskis-4's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
Released as Kananaskis-4.

athabasca-5

Toggle athabasca-5's commit message

Verified

This tag was signed with the committer’s verified signature.
mn200 Michael Norrish
Released as Athabasca-5

HOL-Omega-kananaskis-6

Toggle HOL-Omega-kananaskis-6's commit message
Ported revisions 8609:8610 from HOL (main) to HOL-Omega release version.

This includes the 3rd revision for example/machine-code.