Skip to content

Releases: curegit/knuth-bendix-completion

v1.1.3

20 Aug 08:25
@curegit curegit
v1.1.3
dc89063
Compare
Choose a tag to compare
v1.1.3 Latest
Latest
  • Fix typos
Assets 2
Loading

v1.1.2

21 Mar 09:02
@curegit curegit
v1.1.2
e56ff57
Compare
Choose a tag to compare
v1.1.2
  • Update build script
Assets 2
Loading

v1.1.1

24 Mar 14:05
@curegit curegit
v1.1.1
38480fb
Compare
Choose a tag to compare
v1.1.1
  • OPAM info updated
Assets 2
Loading

v1.1

23 Feb 13:28
@curegit curegit
v1.1
ffcbe95
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.1
  • A little bit optimization
  • README update
Assets 2
Loading

v1.0.1

16 Nov 14:28
@curegit curegit
v1.0.1
e2089bd
Compare
Choose a tag to compare
v1.0.1
  • Trivial fixes
Assets 2
Loading

v1.0

29 Aug 13:26
@curegit curegit
v1.0
a857cad
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.0
  • Built with Dune
  • OPAM package defined
Assets 2
Loading

v0.9

17 Jun 13:03
@curegit curegit
v0.9
c506791
Compare
Choose a tag to compare
v0.9 Pre-release
Pre-release 
matchを高速化
Assets 2
Loading