Skip to content
This repository was archived by the owner on Nov 27, 2025. It is now read-only.

Releases: curegit/knuth-bendix-completion

v1.1.3

20 Aug 08:25
@curegit curegit
v1.1.3
dc89063

Choose a tag to compare

View all tags
v1.1.3 Latest
Latest
  • Fix typos
Assets 2
Loading

v1.1.2

21 Mar 09:02
@curegit curegit
v1.1.2
e56ff57

Choose a tag to compare

View all tags
v1.1.2
  • Update build script
Loading

v1.1.1

24 Mar 14:05
@curegit curegit
v1.1.1
38480fb

Choose a tag to compare

View all tags
v1.1.1
  • OPAM info updated
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.

Choose a tag to compare

View all tags
v1.1
  • A little bit optimization
  • README update
Loading

v1.0.1

16 Nov 14:28
@curegit curegit
v1.0.1
e2089bd

Choose a tag to compare

View all tags
v1.0.1
  • Trivial fixes
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.

Choose a tag to compare

View all tags
v1.0
  • Built with Dune
  • OPAM package defined
Loading

v0.9

17 Jun 13:03
@curegit curegit
v0.9
c506791

Choose a tag to compare

View all tags
v0.9 Pre-release
Pre-release 
matchを高速化
Loading