oscar-system/oscar-website

Move Oscar.jl docs to be first on the Documentation web page

Closed this issue 3 years ago · 0 comments

fingolfin commented 3 years ago

Move Oscar.jl docs to be first on the Documentation web page