You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We have information and installation instructions for using a released version of Oscar in Julia,
but I cannot find information on how to use the development version of Oscar in Julia.
The text was updated successfully, but these errors were encountered:
FriedrichRober
changed the title
Add instructions to README.md on how to use development version.
Add instructions to README.md for using development version
Mar 22, 2022
I have a suggestion for the documentation. Maybe we should mention ]status and Revise in the documentation or provide a link to Julia Pkg? This is how I figured out how to develop with Oscar.
We have information and installation instructions for using a released version of Oscar in Julia,
but I cannot find information on how to use the development version of Oscar in Julia.
The text was updated successfully, but these errors were encountered: