Skip to content

Releases: LPCIC/coq-elpi-lang

v0.0.8

28 Nov 21:01
@gares gares
v0.0.8
e90417a
Compare
Choose a tag to compare
v0.0.8 Latest
Latest
  • Syntax for Db Header and File Signature

Full Changelog: v0.0.7...v0.0.8

Assets 2
Loading

v0.0.7

22 Nov 09:27
@gares gares
v0.0.7
dba0650
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.0.7
  • Syntax fro Elpi 2.0

Full Changelog: v0.0.6...v0.0.7

Assets 2
Loading

coq-elpi-lang 0.0.6

07 Nov 11:58
@gares gares
v0.0.6
04c0a7d
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
coq-elpi-lang 0.0.6

What's Changed

New Contributors

  • @gares made their first contribution in #3

Full Changelog: v0.0.5...v0.0.6

Contributors

gares
Assets 2
Loading