Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
2.8.11.alpha0
protected
f4cf3a29
·
replace 'revlex' term ordering with 'invlex' term ordering, this fixes #1034
·
Oct 30, 2007